钮俊 曾国荪 计算机学报 基于模型检测时间空间性能验证方法.pdfVIP

第33 卷 第9 期 计 算 机 学 报 Vol. 33 No. 9 2010 年9 月 CH INESE JOURNA L OF COMPU TERS Sept. 2010 1) , 2) , 3) 1) , 2) 1) , 2) 钮 俊 曾国荪 王 伟 1) ( 同济大学计算机科学及技术系 上海 201 04) 2) ( 嵌入式系统与服务计算教育部重点实验室 上海 201 04)