Automated Verification of Cyber-Physical Systems

Master Degree in Computer Science

University of L'Aquila

lecturer: Igor Melatti