A Synchronous Paradigm for Modeling Stable Reactive Systems.

Victor L. Winter

Published in: HASE (1999)

Keyphrases

reactive systems
information flow
model checking
formal methods
data sets
multi agent
xml documents
temporal logic
modeling method
real time systems
control flow