CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
CapsNets algorithm 会议论文
Suzhou, China, March 20, 2020 - March 22, 2020
作者:  Zhang, Ping;  Wei, Ping;  Han, SHuhuan
收藏  |  浏览/下载：2/0  |  提交时间：2020/11/15
Parameter Synthesis Problems for one parametric clock Timed Automata 期刊论文
Formal Languages and Automata Theory, 2018
作者:  Liyun Dai;  Taolue Chen;  Zhiming Liu;  Bican Xia;  Naijun Zhan
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/26
Parameter Synthesis Problems for Parametric Timed Automata 期刊论文
Formal Languages and Automata Theory, 2018
作者:  Liyun Dai;  Bo Liu;  Zhiming Liu
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/26
同步数据流语言时态消去的可信翻译 期刊论文
2016, 2016
张玲波; 甘元科; 石刚; 王生原; 董渊; 张智慧; 王沿海; ZHANG Ling-bo; GAN Yuan-ke; SHI Gang; WANG Sheng-yuan; DONG Yuan; ZHANG Zhi-hui; WANG Yan-hai
收藏  |  浏览/下载：9/0
同步数据流语言可信编译器的构造 期刊论文
2016, 2016
石刚; 王生原; 董渊; 嵇智源; 甘元科; 张玲波; 张煜承; 王蕾; 杨斐; SHI Gang; WANG Sheng-Yuan; DONG Yuan; JI Zhi-Yuan; GAN Yuan-Ke; ZHANG Ling-Bo; ZHANG Yu-Cheng; WANG Lei; YANG Fei
收藏  |  浏览/下载：3/0
A WEIGHTED PAIR GRAPH REPRESENTATION FOR RECONSTRUCTIBILITY OF BOOLEAN CONTROL NETWORKS 期刊论文
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2016, 卷号: 54, 期号: 6, 页码: 3040-3060
作者:  Zhang, Kuize;  Zhang, Lijun;  Su, Rong
收藏  |  浏览/下载：24/0  |  提交时间：2018/07/30
Trace Abstraction Refinement for Solving Horn Clauses 期刊论文
COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF; Jiao, L
收藏  |  浏览/下载：17/0  |  提交时间：2016/12/09
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
Go Model and Object Oriented Programming 其他
2015-01-01
Liu, Haiyang; Qiu, Zongyan
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
A hybrid model of connectors in cyber-physical systems 其他
2014-01-01
Chen, Xiaohong; Sun, Jun; Sun, Meng
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13

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