Login / Signup

The impact of requirements changes on specifications and state machines.

Lan LinStacy J. ProwellJesse H. Poore
Published in: Softw. Pract. Exp. (2009)
Keyphrases
  • state machines
  • state machine
  • petri net
  • recurrent networks
  • functional requirements
  • fault tolerant
  • reactive systems
  • finite state machines
  • relational databases