ISCAS OpenIR
Formal Specification and Refinement of a Safe Train Control Function
V.Winter; D.Kapur; G.Fuehrer
2004
出版者Kluwer Academic Publishers
出版地Norwell, MA, USA
语种中文
内容类型专著章节/文集论文
URI标识http://ir.iscas.ac.cn/handle/311060/1176
专题中国科学院软件研究所
推荐引用方式
GB/T 7714
V.Winter,D.Kapur,G.Fuehrer. Formal Specification and Refinement of a Safe Train Control Function. Norwell, MA, USA:Kluwer Academic Publishers,2004.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
Formal specification(274KB) 开放获取使用许可请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[V.Winter]的文章
[D.Kapur]的文章
[G.Fuehrer]的文章
百度学术
百度学术中相似的文章
[V.Winter]的文章
[D.Kapur]的文章
[G.Fuehrer]的文章
必应学术
必应学术中相似的文章
[V.Winter]的文章
[D.Kapur]的文章
[G.Fuehrer]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。