Executable TMN-specifications in TIMS.

Rolf Eberhardt Dominique Sidou Olivier Festor Sandro Mazziotta Jacques Labetoulle

Published in: NOMS (1996)

Keyphrases

formal specification
attribute grammars
control flow
inter domain
high level
process algebra
specification language
delay insensitive
concurrent systems
petri net
finite state machines
database
formal verification
formal methods
data flow
model checking
neural network
data sets