中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页： 排序方式：
可判定的时序动态描述逻辑 期刊论文  OAI收割
软件学报, 2011, 卷号: 22.0, 期号: 007, 页码: 1524
作者:  常亮;  史忠植;  古天龙;  王晓峰
  |  收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04
双重软件体系结构描述框架XYZ/ADL 期刊论文  OAI收割
计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
  |  收藏  |  浏览/下载：33/0  |  提交时间：2011/07/01
UML活动图的时序逻辑语义 期刊论文  OAI收割
计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484
朱雪阳; 唐稚松
  |  收藏  |  浏览/下载：21/0  |  提交时间：2011/07/28
一种基于构件的软件体系结构求精方法及其应用 期刊论文  OAI收割
重庆师范学院学报(自然科学版), 2003, 卷号: 20, 期号: 2, 页码: 1-5
晏荣杰; 张广泉
  |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/29
三机冗余容错系统的描述和验证 期刊论文  OAI收割
软件学报, 2003, 卷号: 14, 期号: 1
郭亮; 唐稚松
  |  收藏  |  浏览/下载：18/0  |  提交时间：2010/08/26
自动提取RTL级集成电路时序信息 期刊论文  OAI收割
微电子学与计算机, 2003, 卷号: 20.0, 期号: 006, 页码: 1
作者:  高燕;  沈理
  |  收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04
带有时钟变量的线性时序逻辑与实时系统验证 期刊论文  OAI收割
软件学报, 2002, 卷号: 13, 期号: 1
李广元; 唐稚松
  |  收藏  |  浏览/下载：9/0  |  提交时间：2010/08/26
有限状态机的行为阶段聚类及其对测试的应用 期刊论文  OAI收割
中国科学：E辑, 2002, 卷号: 32.0, 期号: 006, 页码: 846
作者:  李华伟;  闵应骅;  李忠诚
  |  收藏  |  浏览/下载：3/0  |  提交时间：2023/12/04
RTL集成电路的时序深度 期刊论文  OAI收割
同济大学学报：自然科学版, 2002, 卷号: 30.0, 期号: 010, 页码: 1209
作者:  高燕;  沈理
  |  收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
多媒体节目时序描述的组合技术 期刊论文  OAI收割
软件学报, 2001, 卷号: 12, 期号: 3, 页码: 398-404
赵琛
  |  收藏  |  浏览/下载：22/0  |  提交时间：2010/08/25