Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC.

Calypso Barnes, Jean-Marie Cottin, Franois Verdier, Alain Pegatoquet

Browse the full MODELS paper archive.