Login / Signup
Testing interruptions in reactive systems.
Wilkerson de L. Andrade
Patrí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