-
nusmv是形式化验证的一个常用工具，主要可以进行LTL，CTL的建模。windows版。
大小：6.86MB | 2020-06-10 14:06:41 -
Thisspecificationdefinesanimplementationforsmallfo...
大小：462.37KB | 2020-05-27 19:14:33 -
DOORS8.0破解，可能被杀毒软件误杀！
大小：233.81KB | 2020-05-13 09:56:38 -
博士学位论文撰写经验谈
大小：135KB | 2019-07-11 18:25:29 -
altera Recommended HDL Coding Styles
大小：811.33KB | 2018-12-28 23:13:44
Ta的上传资源列表