Nathalie Cauchi
Original record- Institution
- University of Oxford
- Year
- 2019
- Country
- United Kingdom
- MGP identifier
- 269606
Dissertation: Automatic Verification of Stochastic Processes: Certification of Building Automation Systems
Mathematics Subject Classification: 93—Systems theory; control
Advisor 1
- Alessandro AbateUniversity of California, Berkeley · 2007
Students 0
No students recorded in this snapshot.