Author:
Bittner Benjamin,Bozzano Marco,Cavada Roberto,Cimatti Alessandro,Gario Marco,Griggio Alberto,Mattarei Cristian,Micheli Andrea,Zampedri Gianni
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Joshi, A., Miller, S., Whalen, M., Heimdahl, M.: A proposal for model-based safety analysis. In: DASC. IEEE Computer Society (2005)
2. Bozzano, M., Villafiorita, A.: Design and Safety Assessment of Critical Systems. CRC Press (Taylor and Francis), an Auerbach Book, Boca Raton (2010)
3. Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended AADL models. Comp. J. 54(5), 754–775 (2011)
4. SAE: ARP4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment., December 1996
5. ECSS: European Cooperation on Space Standardization.
http://www.ecss.nl
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献