Verification criteria for a compositional model for reactive systems / P. Bellini;M.A. Bruno;P. Nesi. - STAMPA. - (2000), pp. 25-35. (Intervento presentato al convegno Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000) [10.1109/ICECCS.2000.873925].
Verification criteria for a compositional model for reactive systems
BELLINI, PIERFRANCESCO;NESI, PAOLO
2000
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.