Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci. System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. In 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, February 12-14, 2014. pages 734-742, IEEE, 2014. [doi]
@inproceedings{ManciniMMMT14,
title = {System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation},
author = {Toni Mancini and Federico Mari and Annalisa Massini and Igor Melatti and Enrico Tronci},
year = {2014},
doi = {10.1109/PDP.2014.32},
url = {http://doi.ieeecomputersociety.org/10.1109/PDP.2014.32},
researchr = {https://researchr.org/publication/ManciniMMMT14},
cites = {0},
citedby = {0},
pages = {734-742},
booktitle = {22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, February 12-14, 2014},
publisher = {IEEE},
}