Search Sciweavers | Sciweavers

2346 search results - page 50 / 470

» Hierarchical State Machines

click to vote

ASM
1998
ASM

95views Computational Biology» more ASM 1998»

Object-Oriented Abstract State Machines

15 years 9 months ago

Download www.eecs.umich.edu

Alexandre V. Zamulin

claim paper

Read More »

113

click to vote

ASM
1998
ASM

84views Computational Biology» more ASM 1998»

Interacting Abstract State Machines

15 years 9 months ago

Download www.eecs.umich.edu

Marcelo de Almeida Maia, Vladimir Oliveira Di Iori...

claim paper

Read More »

135

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

15 years 9 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

134

click to vote

ICNP
1996
IEEE

83views Computer Networks» more ICNP 1996»

Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines

15 years 9 months ago

Download www.ieee-icnp.org

Hong Liu, Raymond E. Miller

claim paper

Read More »

106

click to vote

IFIP
1994
Springer

137views Programming Languages» more IFIP 1994»

Linear Speed-Up, Information Vicinity, and Finite-State Machines

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers