CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
In-Place Traceability for Automated Production Systems: A Survey of PLC and SysML Tools 期刊论文
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 卷号: 15, 期号: 6, 页码: 3155-3162
作者:  Alenazi, Mounifah;  Wang, Wentao;  Niu, Nan;  Xu, Li Da
收藏  |  浏览/下载：45/0  |  提交时间：2019/08/16
Integrating Model Checking With SysML in Complex System Safety Analysis 期刊论文
IEEE Access, 2019, 卷号: Vol.7, 页码: 16561-16571
作者:  Hongli Wang;  Deming Zhong;  Tingdi Zhao;  Fuchun Ren
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/17
Integrating Model Checking With SysML in Complex System Safety Analysis 期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 16561-16571
作者:  Wang, Hongli;  Zhong, Deming;  Zhao, Tingdi;  Ren, Fuchun
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
Evaluate concurrent state machine of SysML model with Petri net 会议论文
Proceedings of the 13th IEEE Conference on Industrial Electronics and Applications, ICIEA 2018
作者:  Shen, J.;  Liu, L.;  Hu, X.;  Zhang, G.;  Xiao, J.
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/30
SysML Extension Method Supporting Design Rationale Knowledge Model 会议论文
COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING: 15TH INTERNATIONAL CONFERENCE, CDVE 2018, 2018-01-01
作者:  Wang, Shu De;  Liu, Ji Hong;  Fu, Chao
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/30
Evaluate Concurrent State Machine of SysML Model with Petri Net 会议论文
PROCEEDINGS OF THE 2018 13TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA 2018), 2018-01-01
作者:  Shen, Jieshi;  Liu, Lei;  Hu, Xiaoguang;  Zhang, Guofeng;  Xiao, Jin
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
Design analysis method for multidisciplinary complex product using SysML 会议论文
3rd International Conference on Mechanical, Electronic and Information Technology Engineering, ICMITE 2017, Chengdu, China, 2017-12-16
作者:  Liu, Jihong;  Wang, Shude;  Fu, Chao
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
基于设计结构矩阵和SysML的复杂产品研制流程建模与优化方法 期刊论文
计算机辅助设计与图形学学报, 2017, 卷号: 29, 页码: 921-928
作者:  杨国辉;  刘继红
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
Translation Method for SysML State Machine Diagram into Simple SPIN Model 会议论文
14th International Conference on Software Engineering Research and Practice (SERP)
作者:  Kong WQ(孔维强)
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/09
SAMM: an architecture modeling methodology for ship command and control systems 期刊论文
SOFTWARE AND SYSTEMS MODELING, 2016, 卷号: 15, 页码: 71-118
作者:  Fan, Zhiqiang;  Yue, Tao;  Zhang, Li
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30

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