QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Safety analysis for safety-critical system based on boilerplate and Alloy 会议论文 7th IEEE International Conference on Software Engineering and Service Science, ICSESS 2016, Beijing, China, 2016-08-26 作者:  Jiang, Nan;  Li, Guoqi;  Liu, Bin 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30 Safety Analysis for Safety-critical System Based on Boilerplate and Alloy 会议论文 7th IEEE International Conference on Software Engineering and Service Science (ICSESS), China Hall Sci & Technol, Beijing, PEOPLES R CHINA 作者:  Jiang Nan;  Li Guoqi;  Liu Bin 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 safety analysis  boilerplate  ontology  Alloy  safety-critical system  formal language   Safety Analysis for Safety-critical System Based on Boilerplate and Alloy 会议论文 PROCEEDINGS OF 2016 IEEE 7TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2016), 2016-01-01 作者:  Jiang Nan;  Li Guoqi;  Liu Bin 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 safety analysis  boilerplate  ontology  Alloy  safety-critical system  formal language