Institutional Repository
| hierarchically modeling the component-based real-time system with duration calculus | |
| Jin Xianli; Ma Huadong | |
| 2005 | |
| Conference Name | 2005 Fifth International Conference on Information, Communications and Signal Processing |
| Source | 2005 Fifth International Conference on Information, Communications and Signal Processing |
| Pages | 1411-1415 |
| Conference Date | 40883 |
| Conference Place | Bangkok, Thailand |
| Indexed Type | ei |
| Publish Place | United States |
| ISBN | 780392833 |
| Department | (1) School of Computer Sci. Andtech, Beijing University of Posts and Telecommunications, Beijing 100876, China; (2) Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China |
| English Abstract | This paper proposes a new method for hierarchically modeling the component-based real-time system using Duration Calculus (DC), a real time interval temporal logic. We first define the component using DC, and then describe the component composition and th |
| Keyword | Computational Complexity Computer Simulation Hierarchical Systems Temporal Logic |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12794 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Jin Xianli,Ma Huadong. hierarchically modeling the component-based real-time system with duration calculus[C]. United States,2005:1411-1415. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 01689290.pdf（939KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment