Hybrid Specification of Reactive Systems: An Institutional Approach.

Alexandre Madeira José M. Faria Manuel A. Martins Luís Soares Barbosa

Published in: SEFM (2011)

Keyphrases

reactive systems
temporal logic
transition systems
information flow
model checking
control flow
petri net
formal methods
higher education
state machines
data flow
computer systems
building blocks
real time
low cost
high level
real time systems
e learning
machine learning