Xin Xin
Ph.D. University of Glasgow 2025
Dissertation:
Formal Verification of Safety-Critical Systems with Uncertainty for Industry 4.0 Applications
Mathematics Subject Classification: 68—Computer science
Advisor 1: Sye Loong Keoh
Advisor 2: Michele Sevegnani
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 332521 for the advisor ID.