好书分享：形式验证方法

猴儿mickey · 发表于 2014-8-20 13:13:26

xuexixia

shcet · 发表于 2014-8-21 11:50:49

谢谢楼主分享，
帮助很大！

zhangchenyang · 发表于 2014-8-23 22:14:04

看看……

temp15555 · 发表于 2014-9-4 23:08:51

谢谢分享

10210720146 · 发表于 2015-6-1 19:14:42

kankan

hazzm02 · 发表于 2015-8-9 14:46:11

没什么用。。。中文的期刊论文，标题：形式验证方法。
1：发展历程
2. 符号模型检验中的基本理论
3. 应用与工具简介
这些对于学会怎么用形式验证工具一点儿用也没有。

jimcmwang · 发表于 2016-4-2 23:15:39

形式验证方法

形式验证方法.rar (375.43 KB)

jest0707 · 发表于 2016-6-27 19:07:43

感谢分享

站长推荐 /2