CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
A modeling language to describe massive data storage management in cyber-physical systems 期刊论文
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2017
Jing, Yuxin; Wang, Hanpin; Huang, Yu; Zhang, Lei; Xu, Jiang; Cao, Yongzhi
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement 期刊论文
2015, 2015
Xiu-Li Sun; Wen-Yin Zhang; Jin-Zhao Wu
收藏  |  浏览/下载：2/0  |  提交时间：2017/06/19
Towards action refinement for true concurrent real time 期刊论文
2015, 2015
Mila Majster-Cederbaum; Jinzhao Wu
收藏  |  浏览/下载：4/0  |  提交时间：2017/06/19
Action Refinement for Real-Time Concurrent Processes with Urgency 期刊论文
2015, 2015
Guangping Qin; Jinzhao Wu
收藏  |  浏览/下载：5/0  |  提交时间：2017/06/19
Operational Semantics Modelling Semantic Action Refinement for Processes with Interrupt 期刊论文
2015, 2015
YUAN Hong; WU Jin-Zhao
收藏  |  浏览/下载：1/0  |  提交时间：2017/06/19
Automated test oracle generation via denotational semantics 其他
2014-01-01
Guo, Hai-Feng; Cao, Liang; Song, Yushu; Qiu, Zongyan
收藏  |  浏览/下载：7/0  |  提交时间：2015/11/17
A Mathematical Characterization of System Design and Modeling 期刊论文
APPLIED MATHEMATICS & INFORMATION SCIENCES, 2012, 卷号: 6, 期号: 2, 页码: 345-356
作者:  Zhao, XB;  He, AP;  Wu, JZ;  Yang, GW;  Yang, Y
收藏  |  浏览/下载：4/0  |  提交时间：2015/12/15
Security properties analysis of routing protocol for MANET 会议论文
作者:  Xu, Donghong;  Jiang, Shujuan;  Qi, Yong
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/18
A non-interleaving denotational semantics of value passing CCS with action refinement 会议论文
1st Annual International Workshop on Frontiers in Algorithmics, Lanzhou, PEOPLES R CHINA, 39307
作者:  Zheng, GA;  Lie, SR;  Wu, JZ;  Li, L
收藏  |  浏览/下载：1/0  |  提交时间：2017/01/18
A type system for the relational calculus of object systems 其他
2006-01-01
Zhao, Liang; Zhao, Xiangpeng; Long, Quan; Qiu, Zongyan
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16

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