A Metalanguage for the Formal Requirement Specification of Reactive Systems.

Egidio Astesiano Gianna Reggio

Published in: FME (1993)

Keyphrases

reactive systems
formal methods
information flow
model checking
temporal logic
transition systems
petri net
state machines
control flow
real time
artificial intelligence
information systems
high level
communication networks