Dynamic model-based safety analysis : from state machines to temporal fault trees

Nidhal Mahmud. Dynamic model-based safety analysis : from state machines to temporal fault trees. PhD thesis, University of Hull, Kingston upon Hull, UK, 2012. [doi]

Abstract

Abstract is missing.