网格环境下异构的动态分布式实时系统的集成化开发方法论
序号 | 标题 | 类型 | 作者 |
---|---|---|---|
1 | Development Method for Multi-A | 期刊论文 | 张立臣 |
2 | 基于扩展UML的面向方面的建模 | 期刊论文 | 郭东亮 张立臣 |
3 | 模糊时间Petri 网及扩展的模糊时 | 期刊论文 | 董玉梅 张立臣 |
4 | 基于限制容差关系的加权信息熵 | 期刊论文 | 丘卫根 |
5 | Pawlak粗糙集的公理系统 | 期刊论文 | 丘卫根 |
6 | 面向方面分布式系统形式化规格说 | 期刊论文 | 陈广明 张立臣 陈生庆 |
7 | 基于面向方面的实时系统建模方法 | 期刊论文 | 刘瑞成 张立臣 |
8 | Modeling Real-Time Wormhole Ne | 期刊论文 | 张立臣 张宇亮 |
9 | 随机时序逻辑的模糊时间扩展方法 | 期刊论文 | 刘瑞成 张立臣 张宇亮 |