EM-T1Reliability Engineering & System Safety2017-08-17第 169 卷，166-178

Application of temporal logic for safety supervisory control and model-based hazard monitoring

登录后看摘要和中文要点

英文摘要、AI 生成的中文摘要和三条要点、参考文献和引证文献列表、论文图谱，注册免费。

关键词

登录后可以看完整列表。去登录

17次被引阅读 1

被引数据来自 OpenAlex，含本站以外的引用

Reliability Engineering & System SafetyElsevier

应急管理一类

本站发文: 7,305
总被引: 246,344
ISSN: 0951-8320

进入期刊页 →

引用这篇

FAVARÒ F, SALEH J H. Application of temporal logic for safety supervisory control and model-based hazard monitoring[J]. Reliability Engineering & System Safety, 2017, 169: 166-178. DOI:10.1016/j.ress.2017.08.012.

著录项

学科: 工学计算机科学与技术计算理论与数学
类型: 研究论文
期刊: Reliability Engineering & System Safety
卷期页: 第 169 卷，166-178
出版: 2017-08-17
语言: 英语
DOI: 10.1016/j.ress.2017.08.012

获取来源2 处

Reliability Engineering & System Safety出版版
页面
RePEc: Research Papers in Economics预印本
页面

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

论文图谱

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

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