Login / Signup

Interruption Testing of Reactive Systems.

Wilkerson de L. AndradePatrícia D. L. Machado
Published in: SBMF (2009)
Keyphrases
  • reactive systems
  • model checking
  • information flow
  • temporal logic
  • formal methods
  • control flow
  • artificial intelligence
  • petri net
  • state machines
  • software testing
  • real time systems
  • data mining
  • machine learning