| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Mancini, Toni ; Mari, Federico ; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | 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 Processing | IEEE Computer Society | 10.1109/PDP.2014.32 |