位置：成果数据库 > 会议 > 会议详情页
Active Monitoring for Control Systems Under Anticipatory Semantics
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：The 10th International Conference on Quality Software (QSIC'10)
  • 成果类型：会议
  • 相关项目：面向运行时监控的软件设计与验证理论研究
作者： Changzhi Zhao|Wei Dong|Zhichang Qi|
同会议论文项目
面向运行时监控的软件设计与验证理论研究
期刊论文 9 会议论文 7
同项目会议论文
Invalid pointer dereferences detection for CPS software based on extended pointer structures
An Extension to Sequence Diagram for Expressing Runtime Monitoring Concerns
Runtime Verification for LTL Schemas
An Event Pattern Language for Runtime Monitoring Based on AOP
Runtime Verication with Predictive Semantics
Security Goals Assurance Based on Software Active Monitoring