Unity, as a Tool for Reactive Systems Specification and Derivation.

Mamoun Filali Philippe Mauran Gérard Padiou

Published in: RTS (1993)

Keyphrases

reactive systems
temporal logic
model checking
petri net
formal methods
information flow
control flow
real time systems
conceptual model
software tools
transition systems
multi agent systems
relational databases
workflow management systems
state machines