模型检测

着色线程论文-刘洋洋
导读:本文包含了着色线程论文开题报告文献综述及选题提纲参考文献，主要关键词:层次着色Petri网,多线程JAVA程序,自动建模,模型检测着色线程论文文献综述刘洋洋[1]（201...
基于行为的体系结构论文-丁明,张书玲,张琛
导读:本文包含了基于行为的体系结构论文开题报告文献综述及选题提纲参考文献，主要关键词:航空电子系统,体系结构,错误模型,模型检测基于行为的体系结构论文文献综述丁明,张书玲,张琛...