Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (mc-osdi)-计算机科学
2021-09-24 12:45:28
294KB
1
HW Design Checking List for i.Mx6DQSDL Rev2.9.xlsxHW Design Checking List for i.Mx6DQSDL Rev2.9.xlsxHW Design Checking List for i.Mx6DQSDL Rev2.9.xlsx
2021-09-11 22:44:42
1.59MB
1
信息安全_数据安全_Checking Defects in Deep Learning AI Models
信息保护
安全审计
安全防护
安全人才
数据安全
2021-08-21 22:01:27
5.57MB
「MIT 6.005 Reading 1 Static Checking」课程讲义，带中文笔记。
2021-06-05 19:33:05
716KB
1
南京大学使用的验证方面及Model Checking的教学PPT。不过是pdf格式的，事先说明 ^_^
2021-05-23 08:48:52
5.23MB
1
在Mac上编译运行Chrome(Chromium)
2021-05-10 12:01:59
365KB
1
编译Windows下的Chrome(Chromium)
2021-05-10 12:01:58
358KB
1
编绎在Linux下的Chrome(Chromium)
2021-05-10 12:01:58
389KB
1
做模型检测，超好的书，很难找的，内容清晰，超好，不说了，下了就知道了
2021-04-27 17:25:33
3.22MB
1