高级搜索

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于SPIN的模块化模型检测方法研究

李兴锋 张新常 杨美红 阎保平

李兴锋, 张新常, 杨美红, 阎保平. 基于SPIN的模块化模型检测方法研究[J]. 电子与信息学报, 2011, 33(4): 902-907. doi: 10.3724/SP.J.1146.2010.00751
引用本文: 李兴锋, 张新常, 杨美红, 阎保平. 基于SPIN的模块化模型检测方法研究[J]. 电子与信息学报, 2011, 33(4): 902-907. doi: 10.3724/SP.J.1146.2010.00751
Li Xing-Feng, Zhang Xin-Chang, Yang Mei-Hong, Yan Bao-Ping. Study on Modularized Model Checking Method Based on SPIN[J]. Journal of Electronics and Information Technology, 2011, 33(4): 902-907. doi: 10.3724/SP.J.1146.2010.00751
Citation: Li Xing-Feng, Zhang Xin-Chang, Yang Mei-Hong, Yan Bao-Ping. Study on Modularized Model Checking Method Based on SPIN[J]. Journal of Electronics and Information Technology, 2011, 33(4): 902-907. doi: 10.3724/SP.J.1146.2010.00751

基于SPIN的模块化模型检测方法研究

doi: 10.3724/SP.J.1146.2010.00751
基金项目: 

国家973计划项目(2009CB320502),国家自然科学基金(61070039),国家863计划项目(2009AA01Z145)和山东省科学院院博士基金(2010-12)资助课题

Study on Modularized Model Checking Method Based on SPIN

  • 计量
    • 文章访问数:  2909
    • HTML全文浏览量:  46
    • PDF下载量:  1125
    • 被引次数: 0
    出版历程
    • 收稿日期:  2010-07-15
    • 修回日期:  2010-11-02
    • 刊出日期:  2011-04-19

    目录

      /

      返回文章
      返回

      官方微信,欢迎关注