事件B 相关硕士博士期刊学术论文 - 信丰网

事件B相关论文

基于事件B的处理器形式化建模方法的研究

针对当前可重定向的模拟器生成平台的需求和现有的处理器模型的缺陷,提出了一种基于事件B的处理器模型EBPM(EventBbasedProcessorM......

期刊

事件B 抽象系统资源指令控制 event B abstract system resource instruction control

看过本文同时还关注