[IEEE 2014 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Torino, Italy (2014.02.12-2014.02.14)] 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
- 作者Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
- 文件大小283.08KB
- 发表时间2014
- DOI10.1109/PDP.2014.32
- 页码734-742