Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems.
| Autor: | Ferrante, Orlando, Benvenuti, Luca, Mangeruca, Leonardo, Sofronis, Christos, Ferrari, Alberto |
|---|---|
| Zdroj: | Computer Safety, Reliability & Security (9783642336744); 2012, p409-416, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|