Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems / O., F., Benvenuti, L., L., M., C., S., A., F.. - 7613:(2012), pp. 409-416. (SAFECOMP 2012 Magdeburg, Germany 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.


