三值语义监控器相关硕士博士期刊学术论文 - 搜论网

三值语义监控器相关论文

一种嵌入式操作系统运行时验证方法

作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注.然而,当前的运行时验证技术主要用于应用......

期刊

嵌入式操作系统 FreeRTIOS 运行时验证规约语言三值语义监控器 embedded operating system FreeRTOS runtime

看过本文同时还关注