CORC

在结果中检索

CORC

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

限定条件                    
已选(0)清除 条数/页：   排序方式：
A case study: SOFL + Model checking for OSEK/VDX application 会议论文
5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, Paris, France, November 6, 2015 - November 6, 2015
作者:  Cheng, Zhuo;  Zhang, Haitao;  Tan, Yasuo;  Lim, Yuto
收藏  |  浏览/下载：6/0  |  提交时间：2017/01/18
Control software design of plant microscopic ion flow detection motion device 会议论文
7th IFIP WG 5.14 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2013, Beijing, China, September 18, 2013 - September 20, 2013
作者:  He, Lulu;  Jiang, Fubin;  Zhu, Dazhou;  Hou, Peichen;  Yang, Baozhu
收藏  |  浏览/下载：4/0  |  提交时间：2017/01/18
Control software design of plant microscopic ion flow detection motion device 会议论文
7th IFIP WG 5.14 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2013, Beijing, China, September 18, 2013 - September 20, 2013
作者:  He, Lulu;  Jiang, Fubin;  Zhu, Dazhou;  Hou, Peichen;  Yang, Baozhu
收藏  |  浏览/下载：6/0  |  提交时间：2017/01/18
Implementing the compiler of UDLC 会议论文
9th International Conference on Grid and Cloud Computing, GCC 2010, Nanjing, Jiangsu, China, November 1, 2010 - November 5, 2010
作者:  Hu, Caihua;  Zhang, Rui Sheng;  Wei, Tong Ming;  Wei, Rui Peng;  Li, Shu Ping
收藏  |  浏览/下载：3/0  |  提交时间：2017/01/18
A study of programming language based on pansystems theory 会议论文
2008 International Conference on Foundations of Computer Science, FCS 2008, Las Vegas, NV, United states, July 14, 2008 - July 17, 2008
作者:  Li, Yongli;  Li, Zhenfang;  Zhou, Pei Li
收藏  |  浏览/下载：1/0  |  提交时间：2017/01/18
Stochastic Process Algebra with Value-Passing 会议论文
International Conference on Computer Science and Software Engineering, CSSE 2008, Wuhan, Hubei, China, December 12, 2008 - December 14, 2008
作者:  Guang, Zheng;  Jinzhao, Wu;  Lian, Li
收藏  |  浏览/下载：5/0  |  提交时间：2017/01/18

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