位置：成果数据库 > 期刊 > 期刊详情页
Anticipatory active monitoring for safety- and security-critical software
  • ISSN号：1674-733X
  • 期刊名称：Science China Information Sciences
  • 时间：0
  • 页码：2723-2737
  • 相关项目：面向运行时监控的软件设计与验证理论研究
作者： DONG Wei|ZHAO ChangZhi|SHU ShaoXian|Martin LEUCKER|
同期刊论文项目
面向运行时监控的软件设计与验证理论研究
期刊论文 9 会议论文 7
同项目期刊论文
一种面向开发过程的软件可靠性预测方法
基于AOP的运行时验证中的冲突检测
Recent advances on trusted computing in China
A General Approach of Defining and Categorizing Runtime Monitors Based on AOP in Runtime Enforcement
面向参数化LTL的预测监控器构造技术