|
已选(0)清除
条数/页： 排序方式：
|
| 基于物元模型的复杂机械产品可重构设计 期刊论文
计算机集成制造系统, 2013, 期号: 2013年11期, 页码: 2686-2696
作者: 黄华; 靳岚; 芮执元; 苟卫东
  收藏 | 浏览/下载：0/0 | 提交时间：2019/11/13
|
| 基于Petri网的分布式多媒体同步技术研究 期刊论文
兰州工业学院学报, 2013, 期号: 2013年02期, 页码: 10-12
作者: 王逢娟; 丁政建
收藏 | 浏览/下载：0/0 | 提交时间：2019/11/13
|
| ConEntity:一种基于进程的自主并发实体编程模型及其实现 期刊论文
中国科学. 信息科学, 2013
康亮环; 曹东刚
收藏 | 浏览/下载：1/0 | 提交时间：2017/12/03
|
| 物联网服务建模:一种基于环境建模的方法 期刊论文
中国科学. 信息科学, 2013
李戈; 魏强; 李力行; 金芝; 许焱; 郑丽伟
收藏 | 浏览/下载：1/0 | 提交时间：2017/12/03
|
| 垃圾标签的抵御方法研究 期刊论文
计算机研究与发展, 2013
王永刚; 严寒冰; 许俊峰; 胡建斌; 陈钟
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/12
|
| 基于模型转换的MARTE顺序图的形式化分析 期刊论文
小型微型计算机系统, 2013
朱梅霞; 王捍贫; 刘西奎; 韩晓琼
收藏 | 浏览/下载：3/0 | 提交时间：2015/11/12
|
| 基于问题模式的形式化软件规格说明生成方法 期刊论文
计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360
王昌晶; 罗海梅; 左正康
收藏 | 浏览/下载：6/0 | 提交时间：2013/09/17
|
| 描述CPS物理实体的时空Petri网模型 期刊论文
计算机科学与探索, 2013, 期号: 4, 页码: 377-384
张茗泰; 张广泉; 张侃; 陈名才; 封飞
收藏 | 浏览/下载：8/0 | 提交时间：2013/09/17
|
| 现代烟草农业地理信息系统需求形式化描述研究 期刊论文
中国烟草科学, 2013, 期号: 4, 页码: 88-92
邵小东; 蒋样明; 宋文峰; 黄坤
收藏 | 浏览/下载：9/0 | 提交时间：2015/01/05
|
| SDL在空间通信协议开发中的应用 期刊论文
飞行器测控学报, 2013, 卷号: 32, 页码: 137-141
作者: 胡凯; 刘成; 刘锴
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/06
|
