| Home | << 1 >> |
|
| Author | Title | Year | Publication | Volume | Pages |
|---|---|---|---|---|---|
| Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. | System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation | 2014 | Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP 2014) |