In this section

Browse by Funder

[up] Up a level
Number of items: 1.

Xin, Xin (2025) Formal verification of safety-critical systems with uncertainty for Industry 4.0 applications. PhD thesis, University of Glasgow.

This list was generated on Sun Apr 5 02:34:12 2026 BST.