Codesign of Dependable Systems: A Component-Based Modeling Language / Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas. - (2009), pp. 121-130. (Intervento presentato al convegno MEMOCODE'09 tenutosi a Cambridge, Massachusetts, USA nel 13-15/07/2009).

Codesign of Dependable Systems: A Component-Based Modeling Language

Alessandro Cimatti;Marco Roveri;
2009-01-01

2009
Proceedings of the 7th IEEE/ACM Int. Conference on Formal Methods and Models for Codesign
USA
IEEE
9781424448067
Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas
Codesign of Dependable Systems: A Component-Based Modeling Language / Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Katoen, Joost-Pieter; Yen Nguyen, Viet; Noll, Thomas. - (2009), pp. 121-130. (Intervento presentato al convegno MEMOCODE'09 tenutosi a Cambridge, Massachusetts, USA nel 13-15/07/2009).
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/258799
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 15
  • ???jsp.display-item.citation.isi??? ND
social impact