Data di Pubblicazione:
2004
Abstract:
It is shown how Input/Output automata fit in the framework of team automata, thus making it possible to view certain notions and results regarding their modular structure as special instances of more general observations.
Tipologia CRIS:
05.12 Altro
Keywords:
Formal methods; I/O automata; Team automata; Modularity
Elenco autori:
TER BEEK, MAURICE HENRI
Link alla scheda completa: