Login / Signup
Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems.
Peng Wang
Kai-Yuan Cai
Published in:
CoRR (2016)
Keyphrases
</>
finite state machines
mathematical model
finite state automata
discrete event systems
high level
model based diagnosis
model checking
regular expressions
discrete event