specifications.

Franco Blanchini Antonio M. Lepschy Stefano Miani Umberto Viaro

Published in: IEEE Trans. Autom. Control. (2004)

Keyphrases

formal specification
decision making
delay insensitive
written in natural language
database
learning algorithm
social networks
high level