Automatic code generation for real-time reactive systems in TROMLAB environment.

Vangalur S. Alagar L. Zhang

Published in: RTCSA (2000)

Keyphrases

reactive systems
real time
code generation
real time systems
temporal logic
information flow
data driven
model checking
application development
petri net
low cost
code generator
formal methods
formal specification
data mining
modeling language
software development
control flow
data model
e learning