位置：成果数据库 > 期刊 > 期刊详情页
基于三值语义的软件运行时验证方法
  • 期刊名称：计算机工程与科学
  • 时间：0
  • 页码：99-104
  • 语言：中文
  • 相关项目：高可信嵌入式控制软件的可信性分析与保证技术集成应用研究
作者： 赵常智|董威|李冰鹏|隋平|
同期刊论文项目
高可信嵌入式控制软件的可信性分析与保证技术集成应用研究
期刊论文 5 会议论文 3
同项目期刊论文
一种面向开发过程的软件可靠性预测方法
基于AOP的运行时验证中的冲突检测