登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Java内存模型的动态验证
出版年：2015
作者：赵晓凯
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Java内存模型的动静态结合验证方法
  • 作者：李亮
  • 出版年：2018
...

基于事件模型的内存一致性验证方法
  • 作者：王恒宇
  • 出版社：中国科学院软件研究所
  • 出版年：2024
...

ArbLCheck:支持仲裁的内存一致性模型验证方法及其实现
  • 作者：梁佳辉
  • 出版社：中国科学院软件研究所
  • 出版年：2019
...

同步一致性模型的动态验证
  • 作者：孙鲁明
  • 出版年：2014
...

Simulink/Stateflow模型的形式验证及其应用
  • 作者：邹亮
  • 出版年：2015
...

仿真模型有效性确认与验证
  • 作者：蔡放
  • ISBN：7810244744
  • 出版社：国防科技大学出版社
  • 出版年：1998