Sign in
Formalization of Refinement Calculus for Reactive Systems.
Viorel Preoteasa
Published in:
Arch. Formal Proofs (2014)
Keyphrases
</>
databases
reactive systems
transition systems
model checking
temporal logic
petri net
control flow
information flow
formal methods
knowledge representation
formal model
real time systems
operational semantics
state machines
real time
formal specification