CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
基于本体的汽轮发电机组故障诊断知识建模 期刊论文
兰州理工大学学报, 2020, 期号: 2020-05, 页码: 41-48
作者:  剡昌锋;  栗宇;  王慧滨;  张强;  艾科勇
收藏  |  浏览/下载：11/0  |  提交时间：2020/11/11
Radl 形式规格说明相对正确性研究 期刊论文
Journal of Software, 2013, 卷号: 24, 期号: 4
Wang Changjing; Xue Jinyun
收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17
Radl形式规格说明相对正确性研究 期刊论文
软件学报, 2013, 卷号: 24, 期号: 4, 页码: 715-729
王昌晶; 薛锦云
收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17
基于问题模式的形式化软件规格说明生成方法 期刊论文
计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360
王昌晶; 罗海梅; 左正康
收藏  |  浏览/下载：7/0  |  提交时间：2013/09/17
基于Z规格说明的可复用测试用例形式化描述 期刊论文
计算机工程, 2012, 卷号: 38, 页码: 44-48
作者:  张娟[1];  童维勤[2];  蔡立志[3]
收藏  |  浏览/下载：4/0  |  提交时间：2019/04/30
基于形式化规格说明的UML状态图提取 UML state-chart extraction based on formal specification 期刊论文
2011, 卷号: 28, 页码: 1767-1769
作者:  曾一[1];  周欣[1];  周吉[1]
收藏  |  浏览/下载：4/0  |  提交时间：2019/11/28
可信平台模块的形式化分析和测试 期刊论文
计算机学报, 2009, 期号: 4, 页码: 646-653
陈小峰
收藏  |  浏览/下载：8/0  |  提交时间：2011/03/18
Web应用的UML协作图建模与形式化规格说明 期刊论文
计算机工程与设计, 2008, 卷号: 29, 页码: 4898-4902
作者:  汪斌[1];  袁捷[2];  缪淮扣[3];  毕德闯[4];  朱洪宝[5]
收藏  |  浏览/下载：5/0  |  提交时间：2019/05/06
面向构件的系统开发及其形式化 期刊论文
计算机应用与软件, 2008, 卷号: 25, 页码: 99-101
作者:  钱忠胜[1];  缪淮扣[2]
收藏  |  浏览/下载：1/0  |  提交时间：2019/05/06
Uppaal时间自动机规格说明到PVS时间自动机模板的转换 学位论文
: 上海大学, 2007
作者:  刘振通[1]
收藏  |  浏览/下载：5/0  |  提交时间：2019/05/06

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