QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 A Verification Method for Software Safety Requirement by Combining Model Checking and FTA 会议论文 PROCEEDINGS OF THE 2015 INTERNATIONAL INDUSTRIAL INFORMATICS AND COMPUTER ENGINEERING CONFERENCE, 2015-01-01 作者:  Chen, Congcong;  Zeng, Fuping;  Lu, Minyan 收藏  |  浏览/下载：5/0  |  提交时间：2020/01/06 Model Checking  Software Safety  Formal Method  Fault Tree Analysis   Software safety certification framework based on safety case 会议论文 2012 International Conference on Computer Science and Service System, CSSS 2012, Nanjing, China, 2012-08-11 作者:  Zeng, Fuping;  Lu, Minyan;  Zhong, Deming 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06 Application research of software reliability testing 会议论文 2012 IEEE International Conference on Computer Science and Automation Engineering, CSAE 2012, Zhangjiajie, China, 2012-05-25 作者:  Zeng, Fuping;  Lu, Minyan 收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06 A new approach to assessment of confidence in assurance cases 会议论文 Workshop on Computer Safety, Reliability, and Security, SAFECOMP 2012, Magdeburg, Germany, 2012-09-25 作者:  Zhao, Xingyu;  Zhang, Dajian;  Lu, Minyan;  Zeng, Fuping 收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06 Analysis of principal-agent model with game theory under the total contract mechanism 会议论文 Chongqing Univ, Chongqing, PEOPLES R CHINA, NOV 06-08, 2005 作者:  Fuping, XP;  Ren, YL;  Lu, WZ 收藏  |  浏览/下载：2/0  |  提交时间：2019/11/30 Functional Modification of the Substrate-Binding Site for Isomaltulose Production Based on Predicted Structure of Sucrose Isomerase from Pantoea dispersa UQ68 J 会议论文 Lecture Notes in Electrical Engineering, 59-68, 2018 作者:  Liu, Huijie;  Xing, Xueyan;  Lu, Fuping;  Li, Yu 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/17 Optimization of the One-Step and Two-Step Transformation Methods of Mannitol by Lactobacillus buchneri 会议论文 Lecture Notes in Electrical Engineering, 385-392, 2018 作者:  Wang, Hongbin;  Li, Yu;  Wang, Yongshuai;  Chen, Yan;  Zhang, Yong 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/17