Sciweavers

1916 search results - page 48 / 384
» Reconfiguring a state machine
Sort
View
ASM
2000
ASM
14 years 4 days ago
Investigating Java Concurrency Using Abstract State Machines
Yuri Gurevich, Wolfram Schulte, Charles Wallace
ANSS
1999
IEEE
14 years 3 days ago
Genetic Simulation for Finite State Machine Identification
Lamine Ngom, Claude Baron, Jean Claude Geffroy
FM
1999
Springer
99views Formal Methods» more  FM 1999»
14 years 2 days ago
Logspace Reducibility via Abstract State Machines
Erich Grädel, Marc Spielmann