Login / Signup

Implementation and analysis of environment behavior models as a tool for testing real-time, reactive systems.

Harsha TummalaMikhail AugustonJames Bret MichaelMan-tak ShingDavid LittleZachary Pace
Published in: SoSE (2006)
Keyphrases
  • reactive systems
  • real time
  • probabilistic model
  • model checking
  • temporal logic
  • low cost
  • real time systems
  • complex systems
  • information flow
  • petri net
  • real time embedded systems