在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决

ISCAS OpenIR

	在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决
	闫安; 唐稚松
	2000
发表期刊	软件学报
期号	6 页码:711-719
收录类别	cnki
其他摘要	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
关键词	Temporal Logic Language, Real-time Hybrid System, Specification, Xyz/e.
部门归属	中国科学院软件所计算机科学开放研究实验室!北京100080,中国科学院软件所计算机科学开放研究实验室!北京100080
语种	英语
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13652
专题	中国科学院软件研究所
推荐引用方式 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.