自动化模块组合方法相关硕士博士期刊学术论文 - 信丰网

自动化模块组合方法相关论文

基于Event-B的自动化模块组合方法研究

Event-B共享变量和共享事件方法可将大型系统分解成多个子系统,并独立建模开发,但其需要手工干预以实现模型间事件的组合。为提高......

期刊

形式化方法 Event-B方法模块化建模自动化模块组合方法模块调用精化 formal methodEvent-B methodmodular model

看过本文同时还关注