Login / Signup
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