|
已选(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
|
| 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
|
| SRLtoRadl生成系统及其范畴论语义 期刊论文
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康
收藏 | 浏览/下载：24/0 | 提交时间：2014/12/16
|
| Translating Software Requirement from Natural Language to Automaton 会议论文
40th Annual Conference of the IEEE-Industrial-Electronics-Society (IECON), Dallas, TX, 2014-01-01
作者: Sun Rui; Zhong Deming
收藏 | 浏览/下载：3/0 | 提交时间：2020/01/06
|
| Translating Software Requirement from Natural Language to Automaton 会议论文
PROCEEDINGS 2013 INTERNATIONAL CONFERENCE ON MECHATRONIC SCIENCES, ELECTRIC ENGINEERING AND COMPUTER (MEC), 2013-01-01
作者: Sun Rui; Zhong Deming
收藏 | 浏览/下载：3/0 | 提交时间：2020/01/06
|
| Optimization technology for real-time performance in VRML-based collaborative design 期刊论文
2010, 2010
Wang Qiao-yu; Tian Ling
收藏 | 浏览/下载：3/0 |
| Workflow coordinated process modeling 期刊论文
2010, 2010
Chu Jing-hui; Song Bin-heng
收藏 | 浏览/下载：1/0 |
| Requirements analyses integrating goals and problem analysis techniques 期刊论文
2010, 2010
Liu Lin; Jin Zhi
收藏 | 浏览/下载：3/0 |
| HCDFG-II - a representation of control/data flow graph for C language system specification 期刊论文
2010, 2010
Niu Yawen; Bian Jinian; Wu Qiang; Xue Hongxi
收藏 | 浏览/下载：2/0 |
| Formalization description method of agent behaviors for multi-agent simulation 期刊论文
2010, 2010
Cao Jun-hai; Zhang He-ming; Xiong Guang-leng
收藏 | 浏览/下载：1/0 |
