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

Search Results

Help

Item hits: (Results 41-46 of 46)

Items/Page:    Sort:
安全操作系统的实时报警 [期刊论文]
计算机学报, 2003-01-01, 卷号: 26, 期号: 3, 页码: 287-293
刘海峰; 卿斯汉; 刘文清
  |  
 
validating objected-oriented prototype of real-time systems with timed automata [会议论文]
13th IEEE International Workshop on Rapid System Prototyping, DARMSTADT, GERMANY, JUL 01-03,
Shu GQ; Li C; Wang Q; Li MS
  |  
 
时间符号迁移图及其互模拟判定 [期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 2, 页码: 113-121
陈靖; 林惠民
  |  
 
a new dynamic scheduling algorithm for real-time multiprocessor systems [会议论文]
IFIP WG10 3/WG10 4/WG10 5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), ERINGERFELD, GERMANY, OCT 18-19,
Qiao Y; Wang HG; Dai GZ
  |  
 
completeness of neighbourhood logic [期刊论文]
Journal of Logic and Computation, 2000-01-01, 卷号: 10, 期号: 2, 页码: 271-295
Barua Rana; Roy Suman; Chaochen Zhou

 
在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决 [期刊论文]
软件学报, 2000-01-01, 期号: 6, 页码: 711-719
闫安; 唐稚松

 

previous 1 2 3 4 5

 

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