Subject
Public Health, Environmental and Occupational Health,Safety Research,Safety, Risk, Reliability and Quality
Reference21 articles.
1. A comprehensive safety engineering approach for software-intensive systems based on STPA;Abdulkhaleq;Procedia Eng.,2015
2. Modeling in Event-B: System and Software Engineering;Abrial,2010
3. Rodin: An open toolset for modelling and reasoning in Event-B;Abrial;Softw. Tools Technol. Transf.,2010
4. Bensaci, C., Zennir, Y., Pomorski, D., 2018. A comparative study of STPA hierarchical structures in risk analysis: The case of a complex multi-robot mobile system. In: 2018 2nd European Conference on Electrical Engineering and Computer Science (EECS), pp. 400–405.
5. Formal development of policing functions for intelligent systems;Bogdiukiewicz,2017
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献