如要提出意见建议,请到社区论坛发帖反馈。

约有1733506篇,以下是第51-60 排序:相关性|最多阅读|最新上传

75 Pages
小样本数据仿真模型验证方法及面向服务工具研究
  • 0
  • 上传人: 云开月明 2019-03-15 02:09
  • 热度: 格式:pdf
55 Pages
promela的uml模型验证工具设计与实现
promela的uml模型验证工具设计与实现,promela,spin promela,uml模型图,uml 继承 实现,mvc模型验证,uml模型,uml 实现,模型验证,js实现邮箱验证...
63 Pages
π-演算交互式验证工具的研究与实现
π-演算交互式验证工具的研究与实现,谓词演算,关系演算,元组关系演算,即时演算,逻辑演算,lambda演算,形式演算,命题演算,情景演算
  • 0
  • 上传人: gz234567 2015-04-11 09:39
  • 热度: 格式:pdf
167 Pages
基于知识的协议验证方法及工具
基于知识的协议验证方法及工具
  • 0
  • 上传人: lianfkt 2016-04-28 02:30
  • 热度: 格式:pdf
70 Pages
两层式程序设计环境中设计模式验证工具的设计与实现
两层式程序设计环境中设计模式验证工具的设计与实现,设计开发验证报告,设计验证,设计验证报告,java验证码实现,js实现验证码,验证码怎么实现,验证码 实现,验证码的实现,php实现验证码...
73 Pages
基于数据一致性分析的仿真模型验证方法及工具研究
基于数据一致性分析的仿真模型验证方法及工具研究
  • 0
  • 上传人: nkmthr17 2017-06-22 12:03
  • 热度: 格式:pdf
56 Pages
【豆丁精选】程序验证与自动分析工具研讨会
【豆丁精选】程序验证与自动分析工具研讨会自动,程序,工具,分析和,分析工具,程序分析,研讨会,和验证,主程序验证...
  • 0
  • 上传人: greedayc 2012-11-18 09:21
  • 热度: 格式:ppt
17 Pages
哈佛管理导师工具
哈佛管理导师工具
  • 0
  • 上传人: rdenghkanxd 2016-09-25 17:58
  • 热度: 格式:pdf
150 Pages
基于模型检测工具SPIN的安全协议分析和验证
基于模型检测工具SPIN的安全协议分析和验证
  • 0
  • 上传人: ntrizgu 2016-04-28 01:45
  • 热度: 格式:pdf
80 Pages
认证级LOCA分析工具开发中相关模型修改及验证
认证级LOCA分析工具开发中相关模型修改及验证
  • 0
  • 上传人: DodoDown 2010-04-21 11:55
  • 热度: 格式:pdf

向豆丁求助:有没有快速赛车验证工具添加导师VX:qinsang95?