Thesis
Title Probabilistic verification of satellite systems for mission critical applications / Yu Lu.
Author Lu, Yu, author.
Production 2016.

Status Loan Type Location Shelf-mark
 Reference Only  Not for loan  Library Research Annexe  Thesis TA3958  
More Details
Description xii, 179 pages : illustrations ; 30 cm
Note Ph.D. thesis submitted to the School of Computing Science, College of Science and Engineering, University of Glasgow, April 2016.
Thesis Thesis (Ph.D.) -- University of Glasgow, 2016.
Bibliography Includes bibliographical references (pages 164-179).
Note Electronic version also available via Enlighten : Theses http://theses.gla.ac.uk/7586/
Library Class Thesis TA3958
Subject Artificial satellites -- Theses PhD.
Reliability (Engineering) -- Theses PhD.
Maintainability (Engineering) -- Theses PhD.
Failure analysis (Engineering) -- Theses PhD.
Safety factor in engineering -- Theses PhD.
Other Author University of Glasgow, degree granting institution.

Permanent link to record