您的位置： 专家智库 > >

国家自然科学基金(61272001)

作品数：2 被引量：1H指数：1
相关作者：徐晓飞曲国远贺飞贺飞更多>>
相关机构：中国航空无线电电子研究所教育部清华大学更多>>
发文基金：国家自然科学基金中国航空科学基金国家部委资助项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇时钟同步
  • 1篇时钟同步协议
  • 1篇QUERY
  • 1篇SMT
  • 1篇SYSTEM...
  • 1篇TRACKI...
  • 1篇DIFFER...
  • 1篇PRIVAT...

机构

  • 1篇清华大学
  • 1篇教育部
  • 1篇中国航空无线...

作者

  • 1篇贺飞
  • 1篇贺飞
  • 1篇曲国远
  • 1篇徐晓飞

传媒

  • 1篇国防科技大学...
  • 1篇Fronti...

年份

  • 1篇2019
  • 1篇2018
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
SMT-based query tracking for differentially private data analytics systems
2018年
Chen LUOFei HE
基于扩展标记变迁模型的时钟同步协议正确性验证被引量：1
2019年
时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。
曲国远徐晓飞刘威廷王沁煜贺飞
关键词：形式化方法
全选 清除 导出
共1页<1>
聚类工具0