Login / Signup

Testing interruptions in reactive systems.

Wilkerson de L. AndradePatrícia D. L. Machado
Published in: Formal Aspects Comput. (2012)
Keyphrases
  • reactive systems
  • model checking
  • temporal logic
  • information flow
  • petri net
  • formal methods
  • case study
  • real time
  • neural network
  • test set
  • control flow
  • databases
  • life cycle
  • real time systems