Rodin平台相关硕士博士期刊学术论文 - 搜论网

Rodin平台相关论文

基于Event-B免疫系统模型精化、验证及实现

在当今互联网时代,社会信息化飞速发展,大部分行业都不断提高信息化水平。在准备开发一个软件时,根据软件工程的思路需要对系统的......

学位

形式化方法 Event-B方法免疫模型 Rodin平台

基于Event-B形式化方法的免疫系统模型研究

在当今社会中,社会信息化高速发展,每一个行业都与软件紧密相关。在开发一个软件时,首先要做的是对软件需求进行分析,而在这个分析......

学位

形式化方法 Event-B 抽象建模免疫模型 Rodin平台

看过本文同时还关注