文献检索/Reliability Engineering & System SafetyEM-T1Reliability Engineering & System Safety2026-06-18第 277 卷,113022-113022Formalizing system-theoretic loss scenarios into executable behavioural conditions for model-based safety analysisMax ChopartCzech Technical University in PragueJulien VidalieXavier de BossoreilleAndrej Lališ去出版社页面 引用论文图谱收藏 被引提醒分享打印登录后看摘要和中文要点英文摘要、AI 生成的中文摘要和三条要点、参考文献和引证文献列表、论文图谱,注册免费。登录 / 注册关键词STPAmodel-based safety analysisaviation safetysemantic annotationAltaRicadataflow modeltraceabilitystate space explosion参考文献26引证文献0相似文献引文网络关联作者相关机构登录后可以看完整列表。去登录论文图谱本篇和它的参考文献、引证文献、相似文献登录后可以看这篇的论文图谱:谁被它引用、谁引用了它、还有哪些相似的研究。登录 / 注册