Author:
Gallina Barbara,Gómez-Martínez Elena,Benac-Earle Clara
Subject
Law,Hardware and Architecture,Software
Reference48 articles.
1. N. Leveson, White Paper on The Use of Safety Cases in Certification and Regulation, 2012.
2. J. Rushby, Logic and epistemology in safety cases, in: SafeComp 2013: Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, Vol. 8153 of Lecture Notes in Computer Science, Springer-Verlag, 2013, pp. 1–7.
3. Rail Safety and Standards Board, Engineering safety management, in: The Yellow Book, Rail Safety and Standards Board on behalf of the UK rail industry, 2012, p. 361.
4. E. Gómez-Martínez, R.J. Rodríguez, C. Benac Earle, L. Etxeberria, M. Illarramendi, A methodology for model-based verification of safety contracts and performance requirements, Proc. Inst. Mech. Eng. Part O: J. Risk Reliab. 〈http://dx.doi.org/10.1177/1748006X16667328〉.
5. E. Gómez-Martínez, R.J. Rodríguez, L. Etxeberria Elorza, M. Illarramendi Rezabal, C. Benac Earle, Model-based verification of safety contracts, in: C. Canal, A. Idani (Eds.), Software Engineering and Formal Methods, Vol. 8938 of Lecture Notes in Computer Science, Springer, 2015, pp. 101–115.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献