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

限定检索结果

文献类型

  • 6 篇 会议
  • 4 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 10 篇 工学
    • 5 篇 计算机科学与技术...
    • 4 篇 电气工程
    • 3 篇 信息与通信工程
    • 2 篇 控制科学与工程
    • 1 篇 软件工程
  • 1 篇 哲学
  • 1 篇 理学
    • 1 篇 数学

主题

  • 10 篇 verification com...
  • 2 篇 congested clique
  • 2 篇 opacity
  • 2 篇 markov processes
  • 2 篇 proof-labeling s...
  • 2 篇 automata
  • 2 篇 discrete event s...
  • 2 篇 congest model
  • 1 篇 de morgan canoni...
  • 1 篇 algorithm specif...
  • 1 篇 computational co...
  • 1 篇 safe-critical sy...
  • 1 篇 binary moment di...
  • 1 篇 logical time syn...
  • 1 篇 dns
  • 1 篇 multiple-valued ...
  • 1 篇 smart contract
  • 1 篇 pushdown systems
  • 1 篇 hardware verific...
  • 1 篇 insertion sort

机构

  • 1 篇 dfki gmbh cyber ...
  • 1 篇 tel aviv univ sc...
  • 1 篇 guizhou univ sta...
  • 1 篇 univ illinois co...
  • 1 篇 intentionet seat...
  • 1 篇 univ bremen inst...
  • 1 篇 univ cyprus dept...
  • 1 篇 graz univ techno...
  • 1 篇 tel aviv univ sc...
  • 1 篇 cent univ financ...
  • 1 篇 school of inform...
  • 1 篇 univ cyprus dept...
  • 1 篇 ucla ca 90024 us...
  • 1 篇 guizhou univ sta...
  • 1 篇 acad coll tel av...
  • 1 篇 microsoft redmon...
  • 1 篇 guizhou univ sta...
  • 1 篇 elect & telecomm...
  • 1 篇 xidian univ sch ...
  • 1 篇 snowflake inc sa...

作者

  • 2 篇 patt-shamir boaz
  • 2 篇 perry mor
  • 2 篇 saboori anooshir...
  • 2 篇 hadjicostis chri...
  • 1 篇 zhang duo
  • 1 篇 ma jianfeng
  • 1 篇 dongchen jiang
  • 1 篇 kim taeho
  • 1 篇 kakarla siva kes...
  • 1 篇 miao zhou
  • 1 篇 barhoush mohamme...
  • 1 篇 rosenmann amnon
  • 1 篇 varghese george
  • 1 篇 park jeman
  • 1 篇 tian youliang
  • 1 篇 beckett ryan
  • 1 篇 mahzoon alireza
  • 1 篇 gao sheng
  • 1 篇 wang linjie
  • 1 篇 drechsler rolf

语言

  • 9 篇 英文
  • 1 篇 其他
检索条件"主题词=verification complexity"
共 10 条 记 录，以下是11-20 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件