查看最新文献
订阅
分享
786发文信息
历年影响因子
历年发表
投稿信息
Scientific Journal of Gdynia Maritime University - 最新文献
Hazard Analysis of an Autonomous Container Handling System – a Comparison of STPA and HAZOP Methods
Pub Date : 2023-03-01 DOI: 10.26408/125.02 Eetu Heikkilä, T. Malm, J. Sarsama, R. Tiusanen, T. AhonenAnalysis of Recreational Diving Training According to the CMAS International Diving Confederations, SSI Diving School System and American NAUI and PADI Associations
Pub Date : 2023-03-01 DOI: 10.26408/125.03 J. Ratajczak, Mikołaj Wieczorek, Grzegorz RutkowskiFormal Verification of STPA with Model Checking
Pub Date : 2023-03-01 DOI: 10.26408/125.01 Ryeonggu Kwon, Gihwon Kwon
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
