首页> 中文期刊> 《航空标准化与质量》 >AltaRica语言在安全性仿真分析平台中的实现与应用

AltaRica语言在安全性仿真分析平台中的实现与应用

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

通过分析AltaRica语言的特性,在借鉴了编译原理相关理论的基础上,介绍如何实现AltaRica语言的编译解析框架以及在安全性仿真分析平台中的应用.

著录项

来源
《航空标准化与质量》 |2015年第6期|37-41|共5页
作者
赖智超;
展开▼
作者单位

中航工业综合技术研究所,北京100028;

展开▼
原文格式 PDF
正文语种 chi
中图分类信息处理（信息加工）;
关键词
AltaRica语言; 编译解析; 仿真分析平台;

相似文献

中文文献
外文文献
专利

1. 面向AltaRica模型的嵌入式系统安全性验证方法 [J] . 仵志鹏 ,胡军 ,陈松 . 计算机科学与探索 . 2017,第001期
2. SQL语言在远程教学平台中的应用 [J] . 夏岩 . 辽宁师专学报（自然科学版） . 2008,第003期
3. XML语言在智能交通信息平台中的应用 [J] . 陈明威 ,董德存 . 铁路计算机应用 . 2006,第009期
4. iSCSI存储技术在平煤神马集团网络教育平台中的实现 [J] . 周昕 ,李健 . 信息系统工程 . 2015,第004期
5. MATLAB语言在异步电机仿真分析中的应用 [J] . 程利荣 . 微计算机信息 . 2005,第022期
6. 基于LSTC的碰撞工具在整车安全性能仿真分析中的应用 [C] . 曹振华 ,吴诚 ,汪前斌 . 2009中国汽车安全技术国际学术会议暨中国汽车工程学会第十二届汽车安全技术年会 . 2009
7. 面向AltaRica模型的系统安全性设计验证方法研究 [A] . 仵志鹏 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号