| Checking MSC Specifications for Timing Inconsistency |
| |
| 作者姓名： | 李宣东 谭文凯 郑国梁 |
| |
| 作者单位： | [1]StateKeyLaboratoryforNovelSoftwareTechology,DepartmentofComputerScienceandTechnologyNanjingUniversity,Nanjing210093,P.R.China [2]StateKeyLaboratoryforNovelSoftwareTechology,DepartmentofComputerScienceand |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划)，江苏省研究基金 |
| |
| 摘 要： |
|
| 关 键 词： | 软件 实时系统 同步矛盾 信息时序图说明书 |
Checking MSC specifications for timing inconsistency |
| |
| Xuandong Li,Wenkai Tan,Guoliang Zheng.Checking MSC Specifications for Timing Inconsistency[J].Journal of Computer Science and Technology,2002,17(1):0-0. |
| |
| Authors: | Xuandong Li Wenkai Tan Guoliang Zheng |
| |
| Affiliation: | (1) State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, 210093 Nanjing, P.R. China |
| |
| Abstract: | |
| |
| Keywords: | real-time system message sequence chart model checking timing inconsistency |
| 本文献已被 维普 万方数据 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
