共 13 条
[1]
[Anonymous], 2013, CRUIS SHIP COST CONC
[2]
[Anonymous], RASS CLOUD PUBLIC AR
[3]
SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS
[J].
SOFTWARE ENGINEERING JOURNAL,
1993, 8 (04)
:189-209
[4]
Cantelli-Forti A., 2016, EUROPEAN MARITIME SA
[5]
Forensic Analysis of Industrial Critical Systems: The Costa Concordia's Voyage Data Recorder Case
[J].
2018 IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP 2018),
2018,
:458-463
[6]
Carpinteri F., 2017, NORMAN ATLANTIC SHIP
[7]
Cavo-Dragone G., 2012, TECHNICAL REPORT COU
[8]
Clinch S., 2013, EUROPEAN MARINE ACCI
[9]
InternationalMaritimeOrganization MaritimeKnowledge Centre (MKC), 1974, US
[10]
Kean T., 2014, EVENT DATA RECORDER