CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
A Formal Methodology for Easing Development and Maintenance of Entity Services in Service Oriented Software-Defined Internet of Things 期刊论文
IEEE INTERNET OF THINGS JOURNAL, 2019, 卷号: 6, 期号: 6, 页码: 9516-9530
作者:  Chen, Haiming;  Xie, Kaibin;  Cui, Li;  Pescape, Antonio
收藏  |  浏览/下载：107/0  |  提交时间：2020/12/10
Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS 会议论文
2019 IEEE 22ND INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2019), 2019-01-01
作者:  Zhang Feng;  Zhao Yongwang;  Ma Dianfu;  Niu Wensheng
收藏  |  浏览/下载：11/0  |  提交时间：2019/12/30
Gain-optimization trajectory planning method for hyper-redundant manipulator with joint constraints 期刊论文
Guangxue Jingmi Gongcheng/Optics and Precision Engineering, 2019, 卷号: 27, 期号: 5, 页码: 1075-1086
作者:  W.-R.Wang;  K.-J.Liu;  J.-L.Gu;  A.Li;  H.-R.Chu
收藏  |  浏览/下载：0/0  |  提交时间：2020/08/24
军政单位内网安全防护平台研究 期刊论文
2016, 2016
寇力; 徐柯; 陈晓晨
收藏  |  浏览/下载：2/0
Model synchronization based on triple graph grammars: correctness, completeness and invertibility 期刊论文
software and systems modeling, 2015
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei; Gottmann, Susann; Engel, Thomas
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/11
An integrated framework of formal methods for interaction behaviors among industrial equipments 期刊论文
MICROPROCESSORS AND MICROSYSTEMS, 2015, 卷号: 39, 期号: 8, 页码: 1296-1304
Deng, P; Ren, G; Yuan, W; Chen, F; Hua, QS
收藏  |  浏览/下载：15/0  |  提交时间：2016/12/13
ROS中XML-RPC协议实现的形式化验证 期刊论文
小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633
贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴
收藏  |  浏览/下载：47/0  |  提交时间：2016/12/09
基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏  |  浏览/下载：20/0  |  提交时间：2014/06/06
A refinement calculus for hybrid systems 会议论文
2014 19th International Conference on Engineering of Complex Computer Systems, ICECCS 2014, Tianjin, China, August 4, 2014 - August 7, 2014
Gu, Bin (1); Zou, Liang (2)
收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16
Theory and methodology of object-oriented formal modelling 期刊论文
2014, 卷号: 16, 页码: 252-260
作者:  Xie, Guo;  Liu, Ding;  Hei, Xinhong
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/20

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