Formal specification of discrete systems by active predicates and dynamic constraints

Contributo in Atti di convegno
Data di Pubblicazione:
1999
Abstract:
Sommario non disponibile.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Formal specification; Discrete systems
Elenco autori:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/386336
Titolo del libro:
IFIP -- The International Federation for Information Processing