Alberto Bombardelli
University of Trento
Formal verification of hybrid system models for control software
Advisor: Stefano Tonetta
Contacts