当前位置: 首页 » 资料 » 健康论文 » A survey on temporal logics for specifying and verifying real-time systems

A survey on temporal logics for specifying and verifying real-time systems

放大字体  缩小字体 更新日期:2018-11-23  浏览次数:2
摘 要:A survey on temporal logics for specifying and verifying real-time systems
  • 【题 名】A survey on temporal logics for specifying and verifying real-time systems
  • 【作 者】Savas KONUR
  • 【机 构】Department of Computer Science the University of Liverpool Liverpool L69 3BX UK
  • 【刊 名】《中国计算机科学前沿:英文版》2013年 第3期 370-403页 共34页
  • 【关键词】分支时态逻辑 实时系统 验证 线性时序逻辑 形式主义 时间逻辑 可判定性 检验结果
  • 【文 摘】A survey on temporal logics for specifying and verifying real-time systems
 
本文导航:
  • (1) 分支时态逻辑,实时系统,验证,线性时序逻辑,形式主义,时间逻辑,可判定性,检验结果
  • 下一篇:鳖甲
  • 上一篇:暂无
 
[ 资料搜索 ]  [ 加入收藏 ]  [ 告诉好友 ]  [ 打印本文 ]  [ 关闭窗口 ]

 

 
推荐图文
推荐资料
热门关注