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

2000
Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000
Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000
P. Bellini;M.A. Bruno;P. Nesi
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/654371
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 0
social impact