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 Tue Aug 26 02:32:31 2025 BST.