Mehrdad Moradi
Original record- Institution
- Universiteit Antwerpen
- Year
- 2024
- Country
- Belgium
- MGP identifier
- 309692
Dissertation: Optimising Simulated-Assisted Verification of Safety Properties of Cyber-Physical Systems
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Joachim DenilUniversiteit Antwerpen · 2013
Students 0
No students recorded in this snapshot.