Sciweavers

2346 search results - page 55 / 470
» Hierarchical State Machines
Sort
View
CN
2008
72views more  CN 2008»
13 years 7 months ago
Formal testing from timed finite state machines
Mercedes G. Merayo, Manuel Núñez, Is...
IJCSA
2006
88views more  IJCSA 2006»
13 years 7 months ago
A New DNA Implementation of Finite State Machines
Abbas Nowzari-Dalini, Elahe Elahi, Haydeh Ahrabian...
JUCS
2008
148views more  JUCS 2008»
13 years 7 months ago
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
JUCS
2008
101views more  JUCS 2008»
13 years 7 months ago
Quo Vadis Abstract State Machines?
Egon Börger, Andreas Prinz