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

限定检索结果

文献类型

  • 295 篇 会议
  • 56 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 216 篇 工学
    • 138 篇 计算机科学与技术...
    • 113 篇 软件工程
    • 54 篇 信息与通信工程
    • 51 篇 控制科学与工程
    • 42 篇 电气工程
    • 31 篇 电子科学与技术（可...
    • 18 篇 机械工程
    • 16 篇 动力工程及工程热...
    • 14 篇 生物工程
    • 13 篇 化学工程与技术
    • 11 篇 光学工程
    • 10 篇 力学（可授工学、理...
    • 10 篇 仪器科学与技术
    • 10 篇 生物医学工程（可授...
    • 9 篇 材料科学与工程（可...
    • 8 篇 农业工程
    • 7 篇 航空宇航科学与技...
    • 7 篇 环境科学与工程（可...
  • 107 篇 理学
    • 54 篇 数学
    • 34 篇 物理学
    • 17 篇 生物学
    • 14 篇 统计学（可授理学、...
    • 13 篇 系统科学
    • 9 篇 化学
  • 56 篇 管理学
    • 45 篇 管理科学与工程(可...
    • 28 篇 工商管理
    • 15 篇 图书情报与档案管...
  • 12 篇 医学
    • 11 篇 基础医学(可授医学...
    • 11 篇 临床医学
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 9 篇 农学
  • 5 篇 教育学
  • 3 篇 法学
  • 1 篇 文学

主题

  • 14 篇 internet of thin...
  • 9 篇 feature extracti...
  • 8 篇 accuracy
  • 8 篇 training
  • 6 篇 wireless communi...
  • 5 篇 reliability
  • 5 篇 delays
  • 5 篇 computer archite...
  • 5 篇 logic gates
  • 5 篇 cameras
  • 5 篇 optimization
  • 5 篇 real-time system...
  • 5 篇 industries
  • 5 篇 software
  • 5 篇 cryptography
  • 4 篇 image segmentati...
  • 4 篇 educational inst...
  • 4 篇 wireless sensor ...
  • 4 篇 computational mo...
  • 4 篇 genetic algorith...

机构

  • 7 篇 dep. of electric...
  • 7 篇 institute of com...
  • 6 篇 department of co...
  • 4 篇 dep. of computer...
  • 3 篇 dep. of electric...
  • 3 篇 guangxi key labo...
  • 3 篇 dep. of computer...
  • 3 篇 sichuan institut...
  • 3 篇 fir-uf universit...
  • 3 篇 dep. of integrat...
  • 3 篇 ministry of land...
  • 3 篇 institute of com...
  • 3 篇 state key labora...
  • 3 篇 deimos engenhari...
  • 3 篇 school of resour...
  • 3 篇 dep. of electric...
  • 3 篇 sri lanka instit...
  • 3 篇 dep. of computer...
  • 2 篇 school of electr...
  • 2 篇 dep. of industri...

作者

  • 7 篇 wu chi-jui
  • 7 篇 wang shu-chen
  • 5 篇 mukund bhole
  • 5 篇 thilo sauter
  • 5 篇 wolfgang kastner
  • 4 篇 kastner wolfgang
  • 4 篇 sauter thilo
  • 4 篇 chang ching-lung
  • 4 篇 bhole mukund
  • 4 篇 elke franz
  • 3 篇 mezaris vasileio...
  • 3 篇 tsao yung-chung
  • 3 篇 zezhong zheng
  • 3 篇 tsai yin-te
  • 3 篇 eduard a. jorswi...
  • 3 篇 shengli wang
  • 3 篇 qais al-na'amneh
  • 3 篇 van ossenbruggen...
  • 3 篇 jiang li
  • 3 篇 zhenlu yu

语言

  • 339 篇 英文
  • 8 篇 其他
  • 4 篇 中文
检索条件"机构=Dep. Computer Technology Engineering"
共 351 条 记 录，以下是351-360 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Calculus-based runtime verification
Calculus-based runtime verification
收藏
分享
引用
作者： Hai, Benzhai Li, Fangfang Xie, Ruiyun Chen, Yanhao Dep. of Computer Science and Technology Henan Normal University Xinxiang China Dep. of Metallurgy Hunan University of Technology Zhuzhou China Dep. of Computer Science and Technology Henan Mechanical and Electrical Engineering College Xinxiang China Network Center Henan Normal University Xinxiang China
In this paper, a uniform calculus-based approach for synthesizing monitors checking correctness properties specified by a large variety of logics at runtime is provided, including future and past time logics, interval... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共36页 <<  < 27 28 29 30 31 32 33 34 35 36 >  >>
回到顶部
执行限定条件