Simulation alternatives for the verification of networked cyber-physical systems

Michele Lora, Riccardo Muradore, Davide Quaglia, Franco Fummi. Simulation alternatives for the verification of networked cyber-physical systems. Microprocessors and Microsystems, 39(8):843-853, 2015. [doi]

Abstract

Abstract is missing.