[IEEE 2015 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Turku, Finland (2015.3.4-2015.3.6)] 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - SyLVaaS: System Level Formal Verification as a Service
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
- 作者Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
- 文件大小837.59KB
- 发表时间2015
- DOI10.1109/PDP.2015.119
- 页码476-483