Author:Claudio Menghi

Publications

Keyphrases

benchmark, Benchmarking2, competition, Cyber-Physical Systems2, evaluation2, falsification5, Friendly Competition3, hybrid systems2, Pacemaker, simulation2, Simulink, temporal logic2, testing.