首页> 外文会议>DASIA (DAta Systems In Aerospace) 2006 >EXPERIMENTING AN AADL BEHAVIOURAL ANNEX AND A VERIFICATIONMETHOD

【24h】

EXPERIMENTING AN AADL BEHAVIOURAL ANNEX AND A VERIFICATIONMETHOD

机译：AADL行为附件和验证方法的实验

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《DASIA (DAta Systems In Aerospace) 2006》|2006年|1-8|共8页
会议地点
作者
J.-P. Bodeveix; M. Filali; M. Rached; D. Chemouil; P. Gaufillet;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Hybrid Annex: An AADL Extension for Continuous Behavior and Cyber-Physical Interaction Modeling [J] . Ehsan Ahmad, Brian R. Larson, Stephen C. Barrett, Ada Letters . 2014,第3期

机译：混合附件：AADL扩展，用于连续行为和网络物理交互建模
2. Illustrating the AADL Error Modeling Annex (v. 2) Using a Simple Safety-Critical Medical Device [J] . Brian Larson, John Hatcliff, Kim Fowler, Ada Letters . 2013,第3期

机译：使用简单的安全关键型医疗设备说明AADL错误建模附件（v.2）
3. Towards a formal specification for an AADL behavioural subset using the LNT language [J] . International journal of business and systems research . 2020,第2期

机译：使用LNT语言制定AADL行为子集的正式规范
4. The AADL behaviour annex -- experiments and roadmap [C] . Franca, Ricardo Bedin, Bodeveix, . 2007

机译：AADL行为附件-实验和路线图
5. Numerical Experiments on the Role of Adhesion in Shotcrete Behaviour [D] . Ko, Byung Hun. 2020

机译：关于粘附行为中粘附作用的数值实验
6. Consistency between stated and revealed preferences: a discrete choice experiment and a behavioural experiment on vaccination behaviour compared [O] . Mattijs S Lambooij, Irene A Harmsen, Jorien Veldwijk, 2015

机译：陈述的偏好和显示的偏好之间的一致性：比较疫苗接种行为的离散选择实验和行为实验
7. Adding Formal Meanings to AADL with Hybrid Annex [O] . Ehsan Ahmad, Yunwei Dong, Shuling Wang, 2015

机译：用Hybrid附件增加对AADL的正式意义
8. ARINC653 AADL Annex Update. [R] . Delange, J. 2015

机译：aRINC653 aaDL附件更新。

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号