共 50 条
- [42] Formal Validation of Credibility and Accuracy Assessment of Safety Messages in VANETs ARES 2021: 16TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, 2021,
- [44] Practical formal safety assessment system for the marine design environment Mar Technol, 4 (183-193):
- [45] German qualification and assessment of digital I&C systems important to safety Reliab Eng Syst Saf, 2 (163-170):
- [46] A practical formal safety assessment system for the marine design environment MARINE TECHNOLOGY AND SNAME NEWS, 1999, 36 (04): : 183 - 193
- [47] STANDARDIZED RISK MODELS FOR FORMAL SAFETY ASSESSMENT OF MARITIME TRANSPORTATION OMAE 2009, VOL 2: STRUCTURES, SAFETY AND RELIABILITY, 2009, : 51 - 61
- [49] Comprehensive method of formal safety assessment of ship manoeuvring in waterways SCIENTIFIC JOURNALS OF THE MARITIME UNIVERSITY OF SZCZECIN-ZESZYTY NAUKOWE AKADEMII MORSKIEJ W SZCZECINIE, 2018, 54 (126): : 110 - 119
- [50] Formal Safety Assessment via Contract-Based Design AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, 2014, 8837 : 81 - 97