Animating Real-Time Reactive Systems.

Vangalur S. Alagar D. Muthiayen Ramesh Achuthan

Published in: ICECCS (1996)

Keyphrases

reactive systems
real time
real time systems
control system
low cost
model checking
temporal logic
control flow
machine learning
natural language
petri net
information flow