CHEN Z, NIU C, MEI M, et al. Hierarchical safety analysis and formal verification for safety-critical systems using STAMP and Event-B[J]. Safety Science, 2024, 184: 106744-106744. DOI:10.1016/j.ssci.2024.106744.

著录项

学科: 工学安全科学与工程安全、风险、可靠性与质量
类型: 研究论文
期刊: Safety Science
基金资助: Ministry of Science and Technology of the People's Republic of China Natural Science Foundation of Fujian Province National Key Research and Development Program of China项目号 2021J01320、2022YFB4300504
卷期页: 第 184 卷，106744-106744
出版: 2024-12-10
语言: 英语
DOI: 10.1016/j.ssci.2024.106744

获取来源1 处

Safety Science出版版
页面

来源列表来自 OpenAlex；本站不存全文，链接打开的是对方网站

论文图谱

本篇和它的参考文献、引证文献、相似文献

登录后可以看这篇的论文图谱：谁被它引用、谁引用了它、还有哪些相似的研究。