Institutional Repository
| validating objected-oriented prototype of real-time systems with timed automata | |
| Shu GQ; Li C; Wang Q; Li MS | |
| 2002 | |
| Conference Name | 13th IEEE International Workshop on Rapid System Prototyping |
| Pages | 99-106 |
| Conference Date | JUL 01-03, |
| Conference Place | DARMSTADT, GERMANY |
| Indexed Type | istp ; ieee |
| Publish Place | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA |
| Publisher | 13TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS |
| ISSN | 1074-6005 |
| ISBN | 0-7695-1703-X |
| Department | Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China. |
| English Abstract | Object-oriented development of real-time systems is becoming more and more prevalent. Unified Modeling Language (UML) is a standardized notation for describing object-oriented software design. While using UML to specify real-time systems, the |
| Keyword | Forts Uml Unified Modeling Language Case Study Constraint Solving Formal Semantics Formal Specification Model Checking Object-oriented Real-time System Development Object-oriented Software Validation Sequence Diagram Software Prototyping Timed |
| Sponsorship | IEEE Comp Soc Tech Comm Simulat, IEEE Comp Soc Tech Comm Design Automat |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13386 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Shu GQ,Li C,Wang Q,et al. validating objected-oriented prototype of real-time systems with timed automata[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:13TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS,2002:99-106. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 10.1.1.135.8564.pdf（416KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment