Safety Standards: Chronic Challenges and Emerging Principles
Publisher
John Wiley & Sons, Inc.
Reference40 articles.
1. Bennion , M. Habli , I. 2014 A candid industrial evaluation of formal software verification using model checking. In: Proceedings of the 36th International Conference on Software Engineering
2. Safety cases and their role in ISO 26262 functional safety assessment;Birch,2013
3. Birch , J. Rivett , R. Habli , I. Bradshaw , B. Botham , J. Higham , D. Palin , R. 2014 A layered model for structuring automotive safety arguments. In: Tenth European Dependable Computing Conference (EDCC)
4. CAA 2014 CAP 670: Air Traffic Services Safety Requirements
5. CENELEC 2011 EN50128: Railway applications-communication
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献