Principles of Model Checking(Model Checking经典书籍)
ModelChecking经典书籍,如果做形式化验证的话属于必读系列
用户评论
推荐下载
-
elastic model
elasticmodelbuildingmeasurement
35 2019-06-05 -
wave model
这是基于海浪频谱的二维海浪模型的仿真源代码
36 2018-12-15 -
Topic Model
关于主题模型的论文集,做模式识别、文本分类等问题的很好的参考文献。
55 2018-12-15 -
googlenet model
GoogLeNet是2014年ChristianSzegedy提出的一种全新的深度学习结构,在这之前的AlexNet、VGG等结构都是通过增大网络的深度(层数)来获得更好的训练效果,但层数的增加会带来
29 2019-07-17 -
The Model Of Search
TheSimplestModelOfSearch.
24 2019-09-24 -
model theory
Fundamentals of Model Theory
27 2020-07-26 -
EER model
EER model sql
2 2021-04-22 -
pose model
keras pose model
24 2020-08-13 -
linux kernel三本经典内核书籍加linux kernelapi加linux device model
三本经典内核书籍+linux kernel api+linux device model Linux Device Drivers,3rd Edition.chm The Linux Kernel M
56 2018-12-09 -
CI基本Model继承于CI_Model
这是一个继承于CI的model类,自己写的,有不少问题,等着你修改。 主要是一个简单是数据库注入过滤,一个带分页条件返回,其他的就是增删查改了。
16 2020-08-19
暂无评论