Items where Author is "Lu, Yu"
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
Lu, Yu (2016) Probabilistic verification of satellite systems for mission critical applications. PhD thesis, University of Glasgow.
In this section
Lu, Yu (2016) Probabilistic verification of satellite systems for mission critical applications. PhD thesis, University of Glasgow.