Login / Signup
Architectural Specifications for Reactive Systems.
Artur Zawlocki
Published in:
WADT (2004)
Keyphrases
</>
reactive systems
temporal logic
information flow
model checking
formal methods
petri net
control flow
transition systems
architectural design
state machines
real time systems
software architecture
real time
high level