Modules running in the period selected: 0.
Click on the module to see the timetable and course details.
|ROS-based design and synthesis of monitors for semi-formal verification of robotics applications||3/9/20|
|Development of a virtual platform for automatic firmware verification||10/15/19|
Strada le Grazie 15
VAT number 01541040232
Italian Fiscal Code 93009870234
© 2021 | Verona University | Credits