Viktoria Vozarova

University of Trento
Formal Methods for the Design of Safety Solutions in Automated Systems
Advisor: Tonetta Stefano
WordPress Cookie Notice by Real Cookie Banner