specifications.

Franco Blanchini Antonio M. Lepschy Stefano Miani Umberto Viaro

Published in: CDC (2003)

Keyphrases

formal specification
delay insensitive
high level
specification language
databases
e learning
data structure
artificial neural networks
evolutionary algorithm
probabilistic model
software engineering
finite state machines
operational semantics
formal language
concurrent systems
written in natural language