2WEBER W,TONDOK H,BACHMAYER M. Enhancing software safety by fault trees:experiences from an application to flight critical software[J].RELIABILITY ENGINEERING & SYSTEM SAFETY,2005,(01):57-70. 被引量：1
3GODDARD P L. Software FMEA techniques[A].Annual.Los Angeles,2000.118-123. 被引量：1
4ORTMEIER F,SCHELLHORN G. Formal fault tree analysispractical experiences[J].Electronic Notes in Theoretical Computer Science,2007.139-151. 被引量：1
5AMARI S,DILL G,HOWALD E. A new approach to solve dynamic fault trees[A].Annual.Tampa,2003.374-379. 被引量：1
6LEVESON N. A new accident model for engineering safer systems[J].Safety Science,2004,(04):237-270.doi:10.1016/S0925-7535(03)00047-X. 被引量：1
7SONG Y. Applying system-theoretic accident model and processes (STAMP) to hazard analysis[D].Hamilton:McMaster University,2012. 被引量：1
8LEVESON N. Engineering a safer world:Systems thinking applied to safety[M].Cambridge,Mass.[u.a.]:MIT Press,2011. 被引量：1
9WONG B. A STAMP model of the Uberlingen aircraft collision accident[D].Cambridge,Mass.[u.a.]:Massachusetts Institute of Technology,2004. 被引量：1
10ARNOLD R. A qualitative comparative analysis of SOAM and STAMP in ATM occurrence investigation[D].Sweden:Lund University,2008. 被引量：1
