|
已选(0)清除
条数/页： 排序方式：
|
| 同步数据流语言时态消去的可信翻译 期刊论文
2016, 2016
张玲波; 甘元科; 石刚; 王生原; 董渊; 张智慧; 王沿海; ZHANG Ling-bo; GAN Yuan-ke; SHI Gang; WANG Sheng-yuan; DONG Yuan; ZHANG Zhi-hui; WANG Yan-hai
  收藏 | 浏览/下载：9/0 |
| Efficient translation of LTL to Buchi automata 期刊论文
2010, 2010
Yin Chongyuan; Luo Guiming
收藏 | 浏览/下载：5/0 |
| 工作流时序约束模型分析与验证方法 期刊论文
2010, 2010
王远; 范玉顺; WANG Yuan; FAN Yu-Shun
收藏 | 浏览/下载：1/0 |
| 一种基于Petri网的时间工作流模型的研究与验证 期刊论文
2010, 2010
李丹; 陈启璋; 刘强; LI Dan; CHEN Qizhang; LIU Qiang
收藏 | 浏览/下载：1/0 |
| 基于XYZ/ADL的Web服务体系结构形式描述 期刊论文
2010, 2010
饶元; 李尊朝; RAO Yuan; LI Zun chao
收藏 | 浏览/下载：4/0 |
| 基于多阈值分类与逆向求证的红外序列图像弱小目标检测方法 期刊论文
2010, 2010
袁红刚; 孙卫东; YUAN Hong-gang; SUN Wei-dong
收藏 | 浏览/下载：2/0 |
| Research and verification of Petri-net based time model in workflow 期刊论文
2010, 2010
Li Dan; Chen Qizhang; Liu Qiang
收藏 | 浏览/下载：3/0 |
| Research on model-checking based on Petri nets 期刊论文
2010, 2010
Jiang Yi-Xin; Lin Chuang; Qu Yang; Yin Hao
收藏 | 浏览/下载：2/0 |
| A static compliance-checking framework for business process models 期刊论文
2010, 2010
Liu, Y.; Mueller, S.; Xu, K.
收藏 | 浏览/下载：3/0 |
| A method of time constraint workflow model analysis and verification 期刊论文
2010, 2010
Wang Yuan; Fan Yu-Shun
收藏 | 浏览/下载：2/0 |
