Login / Signup
A complexity metric for concurrent finite state machine based embedded software.
Liangpeng Guo
Alberto L. Sangiovanni-Vincentelli
Alessandro Pinto
Published in:
SIES (2013)
Keyphrases
</>
finite state machines
embedded software
embedded systems
development projects
model checking
finite state automata
software architecture
hidden markov models
database
regular expressions