Login / Signup
Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC.
Calypso Barnes
Jean-Marie Cottin
François Verdier
Alain Pegatoquet
Published in:
MoDELS (2016)
Keyphrases
</>
simulation environment
communication protocols
virtual machine
protocol specification
communication protocol
simulation model
communication networks
simulation tool
model checking
operating system
data center
databases
neural network
asynchronous circuits
simulation tools
formal methods