Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study / Alberti, F; Ghilardi, S; Pagani, E; Ranise, S; Rossi, Gp. - 6343:(2010), pp. 392-+. (Intervento presentato al convegno DISC'10: Proceedings of the 24th international conference on Distributed computing tenutosi a Cambridge, MA nel 13-15/09/2010).
Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study
Ranise, S;
2010-01-01
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