Login / Signup
The Synchronous Approach to Designing Reactive Systems.
Axel Poigné
Matthew Morley
Olivier Maffeïs
Leszek Holenderski
Reinhard Budde
Published in:
Formal Methods Syst. Des. (1998)
Keyphrases
</>
reactive systems
temporal logic
model checking
information flow
petri net
artificial intelligence
formal methods
control flow
asynchronous communication
real time systems
knowledge acquisition
black box
reverse engineering
state machines