Institutional Repository
| 在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决 | |
| 闫安; 唐稚松 | |
| 2000 | |
| Source | 软件学报
 |
| Issue | 6Pages:711-719 |
| Indexed Type | cnki |
| Abstract | XYZ/E is a temporal logic system as well as a programming language. The temporal logic language XYZ/E can represent both high level and low level specifications in the same framework, so that the specification and implementation of software systems are ve |
| Keyword | Temporal Logic Language, Real-time Hybrid System, Specification, Xyz/e. |
| Department | 中国科学院软件所计算机科学开放研究实验室!北京100080,中国科学院软件所计算机科学开放研究实验室!北京100080 |
| Language | 英语 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13652 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 闫安,唐稚松. 在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决[J]. 软件学报,2000(6):711-719. |
| APA | 闫安,&唐稚松.(2000).在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决.软件学报(6),711-719. |
| MLA | 闫安,et al."在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决".软件学报 .6(2000):711-719. |
| 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