QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 专题：北京航空航天大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序提交时间升序提交时间降序题名升序题名降序作者升序作者降序 Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification 期刊论文 SAFETY SCIENCE, 2017, 卷号: 93, 页码: 162-177 作者:  Yang, Qibo;  Tian, Jin;  Zhao, Tingdi 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 Functional Resonance Analysis Method (FRAM)  System safety  Air Traffic Management  Formal verification  Socio-technical system   A Survey On Verification And Analysis Of Non-Functional Properties Of AADL Model Based On Model Transformation 会议论文 PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON EDUCATION, MANAGEMENT, INFORMATION AND MEDICINE (EMIM 2015), 2015-01-01 作者:  Xu Biao;  Lu Minyan 收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06 Model Transformation  AADL Model  Non-Functional Properties  Verification  Analysis   A Survey On Verification And Analysis Of Non-Functional Properties Of AADL Model Based On Model Transformation 会议论文 5th International Conference on Education, Management, Information and Medicine (EMIM), Shenyang, PEOPLES R CHINA 作者:  Xu Biao;  Lu Minyan 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30 Model Transformation  AADL Model  Non-Functional Properties  Verification  Analysis   Accident Rehearsal Method Based on Functional Model Checking 会议论文 10th International Conference on Reliability Maintainability and Safety, Chinese Institute of Electronics, Guangzhou, PEOPLES R CHINA, 2014-08-06 作者:  Wu, Juyi;  Zhao, Tingdi;  Duan, Guihuan;  Tian, Jin 收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06 functional model checking  accident rehearsal  systemic accident  safety verification   Accident Rehearsal Method Based on Functional Model Checking 会议论文 PROCEEDINGS OF 2014 10TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY (ICRMS), VOLS I AND II, 2014-01-01 作者:  Wu, Juyi;  Zhao, Tingdi;  Duan, Guihuan;  Tian, Jin 收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06 functional model checking  accident rehearsal  systemic accident  safety verification   Automatic Black Box Test System for Digital TV Software 会议论文 International Conference on Energy and Environmental Science (ICEES), Singapore, SINGAPORE, 2011-01-01 作者:  Zhou Hanqing;  Long Xiang;  Gao Xiaopeng;  Liu Zhifang 收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06 DTV software test  automated verification  functional failure detection  automatic software test   Automatic Black Box Test System for Digital TV Software (Retracted Article) 会议论文 2011 INTERNATIONAL CONFERENCE ON ENERGY AND ENVIRONMENTAL SCIENCE-ICEES 2011, 2011-01-01 作者:  Zhou Hanqing;  Long Xiang;  Gao Xiaopeng;  Liu Zhifang 收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06 DTV software test  automated verification  functional failure detection  automatic software test