姓名 詹乃军    
职称 副研究员    
联系电话 010-62661615    
E-Mail znjios.ac.cn    
个人主页      
 
简介
实时和混成系统
并发计算模型
程序验证