Login / Signup
Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.
Falk Howar
Malte Isberner
Maik Merten
Bernhard Steffen
Dirk Beyer
Corina S. Pasareanu
Published in:
Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases
</>
reactive systems
lessons learned
temporal logic
information flow
petri net
model checking
formal methods
open issues
key issues
control flow
artificial intelligence
real time systems
communication networks
state machines
low cost
training data
decision making