Sign in
Refinement Calculus of Reactive Systems.
Viorel Preoteasa
Stavros Tripakis
Published in:
CoRR (2014)
Keyphrases
</>
reactive systems
transition systems
model checking
temporal logic
information flow
petri net
formal methods
real time systems
control flow
multi agent
refinement process
social networks
low cost
software development