位置：成果数据库 > 会议 > 会议详情页
Active Monitoring for Control Systems under Anticipatory Semantics
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：10th International Conference on Quality of Software (QSIC 2010)
  • 成果类型：会议
  • 相关项目：Java构件的组合模型检验技术研究
作者： Changzhi Zhao|Zhichang Qi|Wei Dong|
同会议论文项目
Java构件的组合模型检验技术研究
期刊论文 9 会议论文 3
同项目会议论文
An Extended cCSP with Stable Failures Semantics
Checking Compliance to Coding Standards for x86 Executables