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]

Authors

Michele Lora

This author has not been identified. Look up 'Michele Lora' in Google

Riccardo Muradore

This author has not been identified. Look up 'Riccardo Muradore' in Google

Davide Quaglia

This author has not been identified. Look up 'Davide Quaglia' in Google

Franco Fummi

This author has not been identified. Look up 'Franco Fummi' in Google