Login / Signup

A complexity metric for concurrent finite state machine based embedded software.

Liangpeng GuoAlberto L. Sangiovanni-VincentelliAlessandro 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