下载首页 / 陈新 的资源

  • 模型检测器

    clarke撰写的关于model checking的论文，值得一看

    0
    52
    1.34MB
    2013-07-14
    9

  • euispin图形界面工具

    用于spin模型检测器的前端图形界面开发工具

    0
    31
    144KB
    2013-07-14
    3

  • spin模型检测器参考手册

    用于检查并发资源竞争的可靠性保障工具，通过http://spinroot.com/spin/whatispin.html访问它的资源页面

    5
    35
    3.91MB
    2013-07-14
    10

  • spin论文集合

    spin model checking thesis set,用于开发安全关键的信息系统。可用于检测并发系统的死锁。

    0
    61
    6.05MB
    2013-07-14
    9

  • 净室软件工程

    净室软件开发，一个保证安全的软件开发方法

    4
    216
    3.25MB
    2012-12-26
    18

  • Long-time Low-latency Quantum Memory by Dynamical Decoupling

    Long-time Low-latency Quantum Memory by Dynamical Decoupling

    0
    83
    285KB
    2012-11-27
    0
陈新
码龄12年
暂无认证
关注 私信
上传资源赚积分or赚钱