-
spinmodelcheckingthesisset,用于开发安全关键的信息系统。可用于检测并发系统...
大小：6.05MB | 2020-01-13 01:44:16 -
clarke撰写的关于modelchecking的论文，值得一看
大小：1.34MB | 2019-07-06 07:39:14 -
大小：0 | 2019-01-04 03:43:24
-
净室软件开发，一个保证安全的软件开发方法
大小：3.25MB | 2018-12-09 18:57:35
Ta的上传资源列表