Search Sciweavers | Sciweavers

11168 search results - page 24 / 2234

» Abstract State Processes

click to vote

FM
1998
Springer

155views Formal Methods» more FM 1998»

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

13 years 12 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

click to vote

KBSE
1997
IEEE

68views Software Engineering» more KBSE 1997»

A Metric-based Approach to Detect Abstract Data Types and State Encapsulations

13 years 11 months ago

Download www.sdml.info

Jean-Francois Girard, Rainer Koschke, Georg Schied

claim paper

Read More »

click to vote

CAV
1997
Springer

103views Hardware» more CAV 1997»

Construction of Abstract State Graphs with PVS

13 years 11 months ago

Download www.cs.ucla.edu

Susanne Graf, Hassen Saïdi

claim paper

Read More »

click to vote

ICCD
1996
IEEE

116views Hardware» more ICCD 1996»

Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration

13 years 11 months ago

Download users.encs.concordia.ca

Michel Langevin, Sofiène Tahar, Zijian Zhou...

claim paper

Read More »

click to vote

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers