Institutional Repository
| modelling real-time systems with continuous-time temporal logic | |
| Li GY; Tang ZS | |
| 2002 | |
| Conference Name | 4th International Conference on Formal Engineering Methods (ICFEM 2002) |
| Pages | 231-236 |
| Conference Date | OCT 21-25, |
| Conference Place | SHANGHAI, PEOPLES R CHINA |
| Indexed Type | sci ; istp |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS |
| ISSN | 0302-9743 |
| ISBN | 3-540-00029-1 |
| Department | Chinese Acad Sci, Inst Software, Key Lab Comp Sci, Beijing 100080, Peoples R China. |
| English Abstract | LTLC is a continuous-time linear temporal logic for the specification of real-time systems. It can express both the properties and the implementations of real-time systems. With LTLC, real-time systems can be described at many levels of abstra |
| Sponsorship | Shanghai Univ, United Nat Univ Int Inst Software Technol, Natl Nat Sci Fdn China, China Comp Federat, China Software Ind Assoc, Shanghai Comp Assoc, E China Normal Univ |
| Language | 英语 |
| WOS ID | WOS:000181471000026 |
| Citation statistics | |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13426 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Li GY,Tang ZS. modelling real-time systems with continuous-time temporal logic[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS,2002:231-236. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment