Producing prototypes from CO-OPN specifications.

Didier Buchs Jacques Flumet Pascal Racloz

Published in: RSP (1992)

Keyphrases

state machines
state machine
petri net
discrete event
reactive systems
recurrent networks
high quality
high level
dynamic systems
sequence diagrams
delay insensitive
data sets
specification language
model checking
finite state machines
search space
training set