Login / Signup
Handling State-Machines Specifications with GATeL.
Benjamin Blanc
Christophe Junke
Bruno Marre
Pascale Le Gall
Olivier Andrieu
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
state machines
state machine
petri net
recurrent networks
reactive systems
fault tolerant
sequence diagrams
high level
artificial intelligence
finite state machines