中国科学院机构知识库网格系统: 检索

具有类万有引力的有界置信观点动力学分析与应用 期刊论文 OAI收割
自动化学报, 2023, 卷号: 49, 期号: 9, 页码: 1967-1975
作者: 刘青松; 习晓苗; 柴利

|

收藏 | 浏览/下载：11/0 | 提交时间：2024/04/24

基于Yices对时间自动机的有界模型检测 期刊论文 OAI收割
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮

收藏 | 浏览/下载：35/0 | 提交时间：2011/05/23

基于Yices对时间自动机的有界模型检测 学位论文 OAI收割
硕士, 中科院软件所: 中科院软件所, 2009
-

|

收藏 | 浏览/下载：22/0 | 提交时间：2009/06/11

基于状态空间的无界Petri网分析技术 学位论文 OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2008
江波

收藏 | 浏览/下载：22/0 | 提交时间：2011/03/17

非对称选择网类共享子网合成及其在系统建模中的应用 期刊论文 OAI收割
计算机科学, 2007, 卷号: 34, 期号: 6, 页码: 274-278,288
夏传良

收藏 | 浏览/下载：66/6 | 提交时间：2011/07/01

Petri网共享T型子网合成活性分析 期刊论文 OAI收割
系统仿真学报, 2007, 期号: S1, 页码: 4-8,37
夏传良

收藏 | 浏览/下载：73/3 | 提交时间：2011/07/01

Petri网共享T型子网合成公平性分析 期刊论文 OAI收割
计算机科学, 2007, 卷号: 34, 期号: 8, 页码: 271-274
夏传良

收藏 | 浏览/下载：87/9 | 提交时间：2011/07/01

Petri网共享P型子网合成及其在系统设计中的应用 期刊论文 OAI收割
系统仿真学报, 2007, 卷号: 19, 期号: 2, 页码: 355-360,404
夏传良; 鞠彦兵; 李盛恩

收藏 | 浏览/下载：90/7 | 提交时间：2011/07/01

Petri网共享PP-型子网合成性质分析 期刊论文 OAI收割
软件学报, 2007, 卷号: 18, 期号: 1
夏传良; 焦莉; 陆维明

|

收藏 | 浏览/下载：9/0 | 提交时间：2010/08/24

Petri网共享P型子网合成及其在系统设计中的应用 期刊论文 OAI收割
系统仿真学报, 2007, 卷号: 19.0, 期号: 002, 页码: 355-360
作者: 夏传良; 鞠彦兵

|

收藏 | 浏览/下载：10/0 | 提交时间：2021/01/14