Toward reliable reactive systems.

Limei Gilham Allen Goldberg Tie-Cheng Wang

Published in: IWSSD (1989)

Keyphrases

reactive systems
model checking
temporal logic
information flow
formal methods
petri net
state machines
data sets
cost effective
machine learning
natural language
multi agent systems
control flow