位置：成果数据库 > 会议 > 会议详情页
An Event Pattern Language for Runtime Monitoring Based on AOP
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：6th International Conference on Internet Technology and Secured Transactions
  • 成果类型：会议
  • 相关项目：高可信嵌入式控制软件的可信性分析与保证技术集成应用研究
作者： Xian Zhang|Martin Leucker|Zhichang Qi|Wei Dong|
同会议论文项目
高可信嵌入式控制软件的可信性分析与保证技术集成应用研究
期刊论文 5 会议论文 3
同项目会议论文
一种基于测试的故障树正确性检测方法
Security Goals Assurance Based on Software Active Monitoring