Calypso Barnes, Jean-Marie Cottin, François Verdier, Alain Pegatoquet
Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC
MoDELS, 2016.
@inproceedings{MoDELS-2016-BarnesCVP,
acmid = "2976810",
author = "Calypso Barnes and Jean-Marie Cottin and François Verdier and Alain Pegatoquet",
booktitle = "{Proceedings of the 19th International Conference on Model Driven Engineering Languages and Systems}",
isbn = "978-1-4503-4321-3",
pages = "207--214",
publisher = "{ACM}",
title = "{Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC}",
year = 2016,
}











