共 50 条
- [1] Model-Based Analysis of Safety Critical Systems 2017 INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION, EMBEDDED AND COMMUNICATION SYSTEMS (ICIIECS), 2017,
- [2] Model-Based Safety Analysis for Vehicle Guidance Systems COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2017, 2017, 10488 : 3 - 19
- [4] Towards a unified model-based safety assessment COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS, 2006, 4166 : 275 - 288
- [5] A Methodology for Model-based Development and Safety Analysis of Transport Systems ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING, 2016, : 91 - 101
- [9] Towards the integration of safety analysis in a model-based system engineering approach with SysML Lecture Notes in Mechanical Engineering, 2013, 1 : 61 - 68
- [10] Probabilistic Model-Based Safety Analysis ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (28): : 114 - 128