相关推荐：

• 形式化需求描述
• 软件工程的形式化方法第六讲
• 形式化模型
• 第十章.形式化描述
• 21关系模型及形式化描述
• 第二十一章 形式化建模与验证
• 基于CSP的形式化方法研究
• 形式化方法
• 形式化验证笔记
• 形式化方法PPT课件