Descriptions of timing in requirements for reactive systems.

Hiromi Kobayashi Kazuo Tokito

Published in: Systems and Computers in Japan (2000)

Keyphrases

reactive systems
real time systems
model checking
temporal logic
information flow
high level
control flow
petri net
formal methods
state machines
social networks
decision making
data flow