Login / Signup
Verification of Succinct Hierarchical State Machines.
Salvatore La Torre
Margherita Napoli
Mimmo Parente
Gennaro Parlato
Published in:
LATA (2007)
Keyphrases
</>
state machines
state machine
petri net
model checking
recurrent networks
fault tolerant
neural network
expert systems
multi modal
error rate
sequence diagrams