安全关键嵌入式软件相关硕士博士期刊学术论文

模型驱动开发方法和形式化验证技术逐渐成为安全关键嵌入式软件设计与开发的重要手段,其中模型转换、代码自动生成等技术都是编译......