Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems / O., Ferrante; Benvenuti, Luca; L., Mangeruca; C., Sofronis; A., Ferrari. - 7613:(2012), pp. 409-416. (Intervento presentato al convegno SAFECOMP 2012 tenutosi a Magdeburg, Germany nel September 25-28, 2012) [10.1007/978-3-642-33675-1_38].
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems
BENVENUTI, Luca;
2012
File allegati a questo prodotto
File | Dimensione | Formato | |
---|---|---|---|
VE_2012_11573-524835.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
550.08 kB
Formato
Adobe PDF
|
550.08 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.