QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Integrating Model Checking With SysML in Complex System Safety Analysis 期刊论文 IEEE Access, 2019, 卷号: Vol.7, 页码: 16561-16571 作者:  Hongli Wang;  Deming Zhong;  Tingdi Zhao;  Fuchun Ren 收藏  |  浏览/下载：7/0  |  提交时间：2019/12/17 Safety  Unified  modeling  language  Model  checking  Complex  systems  Analytical  models  Control  systems  Automobiles  Complex  system  safety  analysis  model  checking  system  modeling  language  (SysML)  integrated  modular  avionics  (IMA)  potential  hazard   Integrating Model Checking With SysML in Complex System Safety Analysis 期刊论文 IEEE ACCESS, 2019, 卷号: 7, 页码: 16561-16571 作者:  Wang, Hongli;  Zhong, Deming;  Zhao, Tingdi;  Ren, Fuchun 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 Complex system  safety analysis  model checking  system modeling language (SysML)  integrated modular avionics (IMA)  potential hazard   A Mission Oriented Accident Model based on Hybrid Dynamic System 会议论文 2012 PROCEEDINGS - ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS), 2012-01-01 作者:  Jiao, Jian;  Zhao, Tingdi 收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06 Accident model  Hybrid Dynamic System (HDS)  System Modeling Language (SysML)  System Safety