Author:Claudio Menghi

Publications

Keyphrases

benchmark, Benchmarking3, competition, Cyber-Physical Systems3, evaluation3, falsification6, Friendly Competition4, hybrid systems2, Pacemaker, simulation2, Simulink, temporal logic2, testing.