中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
时态逻辑形式化描述并发系统性质 [期刊论文]
海军工程大学学报, 2004-01-01, 卷号: 16, 期号: 5, 页码: 2'10-13
肖美华; 薛锦云
  |  
 
基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述 [期刊论文]
重庆师范学院学报(自然科学版), 2001-01-01, 卷号: 18, 期号: 3, 页码: 1-4
张广泉; 郑建丹; 舒明
  |  
 
可视化软件体系结构描述工具XYZ/ADL的设计与实现 [期刊论文]
重庆师范学院学报(自然科学版), 2001-01-01, 卷号: 18, 期号: 2, 页码: 1-6
张广泉; 骆华俊; 郑建丹
  |  
 
Verilog语言形式化语义研究 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 10
李勇坚; 孙永强; 何积丰
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace