IHEP OpenIR  > 学术会议  > 国际参会  > JaCoW高能所参会会议  > ICALEPCS
Formal Methodology for Safety-Critical Systems Engineering at CERN
F.Valentini; T.Hakulinen; L.Hammouti; T.Ladzinski; P.Ninin
会议名称Proceedings of the 14th International Conference on Accelerator & Large Experimental Physics Control Systems ; Proceedings of the 14th International Conference on Accelerator & Large Experimental Physics Control Systems
2013
会议名称Proceedings of the 14th International Conference on Accelerator & Large Experimental Physics Control Systems ; Proceedings of the 14th International Conference on Accelerator & Large Experimental Physics Control Systems
会议日期2013
会议地点California
文献类型会议论文
条目标识符http://ir.ihep.ac.cn/handle/311005/249993
专题学术会议_国际参会_JaCoW高能所参会会议_ICALEPCS
作者单位CERN, Geneva, Switzerland
推荐引用方式
GB/T 7714
F.Valentini,T.Hakulinen,L.Hammouti,et al. Formal Methodology for Safety-Critical Systems Engineering at CERN[C],2013.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
TUCOCA04.pdf(1185KB)会议论文 限制开放CC BY-NC-SA请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[F.Valentini]的文章
[T.Hakulinen]的文章
[L.Hammouti]的文章
百度学术
百度学术中相似的文章
[F.Valentini]的文章
[T.Hakulinen]的文章
[L.Hammouti]的文章
必应学术
必应学术中相似的文章
[F.Valentini]的文章
[T.Hakulinen]的文章
[L.Hammouti]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

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