咨询与建议

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 model checking,t...

机构

  • 1 篇 provincial key l...
  • 1 篇 department of co...

作者

  • 1 篇 zining cao

语言

  • 1 篇 英文
检索条件"主题词=Model Checking,Truly Concurrent Systems,Temporal Logic"
1 条 记 录,以下是1-10 订阅
排序:
model checking Parallel Interval logic on Parallel Run Structures
Model Checking Parallel Interval Logic on Parallel Run Struc...
收藏 引用
2012 Third International Conference on Theoretical and Mathematical Foundations of Computer Science(ICTMF 2012)
作者: Zining Cao Department of Computer Science and Technology Nanjing University of Aero.& Astro. Provincial Key Laboratory for Computer Information Processing Technology Soochow University
In this paper,we firstly present a kind of models for truly concurrent systems named parallel run *** we present a parallel interval logic,called PIL,which is an extension of interval ***,we give an algorithm of model... 详细信息
来源: 评论