已选(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
|