文献检索/Reliability Engineering & System SafetyEM-T1Reliability Engineering & System Safety2027-01-01第 277 卷，113158开放获取高影响力 · 前 10%Control logic verification of safety of the intended functionality for maritime autonomous surface ships based on Event-B: A case of autonomous berthing scenarioRuiwen ZhangDalian Maritime UniversityXiaoxue MaDalian Maritime UniversityWeiliang QiaoDalian Maritime UniversityHongpeng ZhangDalian Maritime UniversityBing HanChina Ocean Shipping (China)去出版社页面 引用论文图谱收藏 被引提醒分享打印登录后看摘要和中文要点英文摘要、AI 生成的中文摘要和三条要点、参考文献和引证文献列表、论文图谱，注册免费。登录 / 注册关键词safety of the intended functionalityunmanned surface vehiclesEvent-Bcontrol logic verificationautonomous surface vesselssafety-critical systems参考文献57引证文献0相似文献引文网络关联作者相关机构登录后可以看完整列表。去登录论文图谱本篇和它的参考文献、引证文献、相似文献登录后可以看这篇的论文图谱：谁被它引用、谁引用了它、还有哪些相似的研究。登录 / 注册
