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