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

Search Results

Help

Item hits: (Results 1-2 of 2)

Items/Page:    Sort:
Verilog语言形式化语义研究 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 10
李勇坚; 孙永强; 何积丰
  |  
 
混合系统的形式化模型 [期刊论文]
重庆大学学报(自然科学版), 1999-01-01, 卷号: 22, 期号: 6
张广泉; 沈一栋
  |  
 

1

 

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