位置：成果数据库 > 会议 > 会议详情页
Formal semantics and verification of AADL modes in Timed Abstract State Machine
  • 所属机构名称：北京航空航天大学
  • 会议名称：2010 IEEE International Conference on Progress in Informatics and Computing (PIC)
  • 时间：2010.12.12
  • 成果类型：会议
  • 相关项目：面向航空关键系统的AADL转换语义及其特性保持证明研究
作者： Zhibin Yang|Kai Hu|Dianfu Ma|Lei Pi|Jean-Paul Bodeveix|
同会议论文项目
面向航空关键系统的AADL转换语义及其特性保持证明研究
期刊论文 15 会议论文 3 专利 2
同项目会议论文
Two Formal Semantics of a Subset of the AADL
Modeling and Verification of Custom TCP Using SDL