形式化方法
本标签列表页为您列举一些形式化方法方面的文档。把最新最全的形式化方法相关文档推荐给您,让您轻松找到相关文档信息,并提供形式化方法相关文档查询解读下载等功能。
工业关键系统的形式化方法：应用综述
形式化方法
工业关键系统
应用综述
2218浏览2025-08-14上传pdf21.7MB共247页未评分
《形式化方法》课程建设探索与实践
形式化方法
课程建设
教学实践
9浏览2025-07-19上传pdf0.61MB共6页未评分
基于一阶谓词逻辑的结构设计规范表示方法
一阶谓词逻辑
结构设计规范
知识表示
11浏览2025-07-18上传pdf0.45MB共6页未评分
基于抽象解释的不变式验证
抽象解释
不变式验证
程序分析
10浏览2025-07-18上传pdf0.5MMB共14页未评分
轻量级形式化MDS矩阵的构造与筛选
形式化方法
MDS矩阵
轻量级加密
9浏览2025-07-17上传pdf0.41MB共13页未评分
形式化方法现状分析以及结合CSP的教学
形式化方法
CSP
教学分析
10浏览2025-07-17上传pdf1.02MB共7页未评分