Visual Language for Behavioral Specifications of Reactive Systems.

K. Gary Chan H. Lewis Chau

Published in: ICCL (1994)

Keyphrases

reactive systems
temporal logic
information flow
model checking
formal methods
petri net
transition systems
control flow
machine learning
real time systems
data mining
artificial intelligence
state machines