Home » Publication » 13934

Dettaglio pubblicazione

2012, Computer Safety, Reliability, and Security, Pages 409-416 (volume: 7613)

Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems (04b Atto di convegno in volume)

O. Ferrante, Benvenuti Luca, L. Mangeruca, C. Sofronis, A. Ferrari

ISBN: 9783642336744
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma