qq_36941 这家伙很懒，什么也没写 资源：5 粉丝：0
+关注
Ta的上传资源列表
  • uppaal.zip

    主要是一些uppaal的教程,可以通过这些教程对如何使用uppaal有个初步了解。以上就是这份资料的...

    大小：3.33MB | 2020-08-20 22:27:57
  • w_openvino_toolkit_p_2020.1.033.exe

    OpenVINO的深度学习部署工具套件主要包括两部分,一个是模型优化器,另外一个是推理引擎。模型优化...

    大小：190.48MB | 2020-08-05 06:49:51
  • PAT3.Setup.3.5.1.64.msi

    是由新加坡国立大学开发的一款形式化建模与验证工具集，支持进程代数、实时进程代数、时间自动机等多种建模...

    大小：13.39MB | 2020-06-10 23:15:09
  • MIPSProject.rar

    主要实现了MIPS指令的译码操作，通过输入的二进制码转化为对应的指令，并执行指令

    大小：1.3MB | 2020-05-23 04:47:22
  • jspin50.exe

    jSpinisagraphicaluserinterfacefortheSpinmodelcheck...

    大小：1.61MB | 2020-01-13 01:44:53