CORC

在结果中检索

CORC

浏览/检索结果: 共100条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
A Survey of Formal Techniques for Hardware/Software Co-verification 会议论文
7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, 2018-07-08
作者:  Liu, Kun;  Kong, Weiqiang;  Hou, Gang;  Fukuda, Akira
收藏  |  浏览/下载：14/0  |  提交时间：2019/12/02
Correct-by-construction specification to verified code 期刊论文
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 卷号: 30
作者:  Ge, Ning;  Dieumegard, Arnaud;  Jenn, Eric;  Voisin, Laurent
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
Formal Development Process of Safety-Critical Embedded Human Machine Interface Systems 会议论文
PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017-01-01
作者:  Ge, Ning;  Dieumegard, Arnaud;  Jenn, Eric;  d'Ausbourg, Bruno;  Ait-Ameur, Yamine
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30
Coq Implementation of OO Verification Framework VeriJ 其他
2016-01-01
Zhang, Ke; Qiu, Zongyan
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
An Evolutionary Method for the Formal Specification Construction of Service-Based Software 期刊论文
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 卷号: 26, 页码: 587-610
作者:  Miao, Weikai[1];  Wang, Xi[2]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26
Automatic Support for Formal Specification Construction Using Pattern Knowledge 会议论文
17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2016-01-01
作者:  Wang, Xi[1];  Miao, Weikai[2]
收藏  |  浏览/下载：4/0  |  提交时间：2019/04/26
Formal development of self-separation protocol in free flight 期刊论文
ASIA LIFE SCIENCES, 2015, 页码: 573-586
作者:  Li, Zhuang[1];  Miao, Huaikou[2];  Liu, Yang[3]
收藏  |  浏览/下载：1/0  |  提交时间：2019/04/26
Formal Specification and Reasoning for Situated Multi-agent System 会议论文
14th IEEE/ACIS International Conference on Computer and Information Science (ICIS), 2015-06-28
作者:  Li, Zhuang[1];  Miao, Huaikou[2]
收藏  |  浏览/下载：1/0  |  提交时间：2019/04/26
A formal specification in B of an operating system 期刊论文
Open Cybernetics and Systemics Journal, 2015, 卷号: 9, 期号: 1, 页码: 1125-1129
作者:  Danmin, Chen[1];  Yue, Sun[2];  Zhiguo, Chen[3]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/23
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components 其他
2014-01-01
Hong, Ali; Liu, Yijing; Qiu, Zongyan
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16

©版权所有 ©2017 CSpace - Powered by CSpace