位置：成果数据库 > 会议 > 会议详情页
Modeling and Verification of Custom TCP Using SDL
  • 所属机构名称：北京航空航天大学
  • 会议名称：2013 4th International conference on Software Engineering and Service Sciences
  • 时间：2013.5.5
  • 成果类型：会议
  • 相关项目：面向航空关键系统的AADL转换语义及其特性保持证明研究
作者： Kai Hu|Cheng Liu|Kai Liu|
同会议论文项目
面向航空关键系统的AADL转换语义及其特性保持证明研究
期刊论文 15 会议论文 3 专利 2
同项目会议论文
Two Formal Semantics of a Subset of the AADL
Formal semantics and verification of AADL modes in Timed Abstract State Machine