咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 6 篇 学位论文
  • 5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 11 篇 工学
    • 8 篇 计算机科学与技术...
    • 8 篇 软件工程
    • 3 篇 信息与通信工程
    • 2 篇 仪器科学与技术
    • 1 篇 机械工程

主题

  • 11 篇 符号化模型检测
  • 3 篇 时态测试器
  • 2 篇 离散实时系统
  • 2 篇 时态逻辑
  • 2 篇 mctk2
  • 1 篇 不动点
  • 1 篇 树状反例
  • 1 篇 认知机器人系统
  • 1 篇 必胜策略
  • 1 篇 有序二叉决策树
  • 1 篇 二值判定图
  • 1 篇 rtctl*k
  • 1 篇 可能性测度
  • 1 篇 nusmv
  • 1 篇 多智能体系统
  • 1 篇 线性动态逻辑
  • 1 篇 反例生成
  • 1 篇 安全协议
  • 1 篇 实时线性动态逻辑
  • 1 篇 公告逻辑

机构

  • 5 篇 华侨大学
  • 2 篇 桂林电子科技大学
  • 2 篇 中山大学
  • 1 篇 首都师范大学
  • 1 篇 暨南大学
  • 1 篇 广西可信软件重点...
  • 1 篇 南京信息工程大学
  • 1 篇 吉林大学
  • 1 篇 湖南文理学院
  • 1 篇 陕西师范大学

作者

  • 4 篇 luo xiang-yu
  • 4 篇 骆翔宇
  • 2 篇 古天龙
  • 2 篇 苏开乐
  • 2 篇 黄欣玥
  • 2 篇 gu tian-long
  • 2 篇 chen zu-xi
  • 2 篇 陈祖希
  • 2 篇 许杭娜
  • 2 篇 su kai-le
  • 1 篇 li xiao-juan
  • 1 篇 梁森
  • 1 篇 王瑞
  • 1 篇 巩卫卫
  • 1 篇 dong rong-sheng
  • 1 篇 yang fan
  • 1 篇 张延波
  • 1 篇 zheng li-xiao
  • 1 篇 董荣胜
  • 1 篇 杨帆

语言

  • 11 篇 中文
检索条件"主题词=符号化模型检测"
共 11 条 记 录，以下是11-20 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
模型检测离散实时线性动态逻辑
模型检测离散实时线性动态逻辑
收藏
分享
引用
作者： 许杭娜 华侨大学
学位级别：硕士
实时系统被广泛地应用在一些重大、紧急的事件的处理中,例如智能机器人、航天系统和铁路调度系统等。实时系统一旦发生错误,后果往往是十分危险甚至可能是灾难性的,这要求实时系统必须具备较高的正确性保证系统中各模块具体的响应时间... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共2页 <<  < 1 2 >  >>
回到顶部
执行限定条件