Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency.

Michael Schenke

Published in: FTRTFT (1994)

Keyphrases

reactive systems
model checking
temporal logic
formal methods
information flow
control flow
petri net
data flow
transition systems
state machines
concurrency control
open source
case study
information systems
database
low cost
real time systems
machine learning
data mining