Login / Signup
A formal approach to reactive systems software: a telecommunications application in ESTEREL.
Lalita Jategaonkar Jagadeesan
Carlos Puchol
James Von Olnhausen
Published in:
WIFT (1995)
Keyphrases
</>
reactive systems
formal methods
software development
state machines
software systems
information flow
real time systems
circuit design
software application
real time
information systems
user interface
error rate
software architecture
requirements engineering