国家自然科学基金(61272001)

作品数：2被引量：1H指数：1
导出分析报告
相关作者：徐晓飞曲国远贺飞贺飞更多>>
相关机构：中国航空无线电电子研究所教育部清华大学更多>>
相关期刊：《Frontiers of Computer Science》《国防科技大学学报》更多>>
相关主题：形式化方法时钟同步协议DIFFERENTIALLYTRACKINGSYSTEMS更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于扩展标记变迁模型的时钟同步协议正确性验证被引量：1
《国防科技大学学报》2019年第3期42-49,共8页曲国远 徐晓飞 刘威廷 王沁煜 贺飞 
航空科学基金资助项目(2015ZC15001);国家部委基金资助项目(3030603);国家自然科学基金资助项目(61672310,61272001,91218302)
时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步...
关键词：形式化方法 协议验证 模型检测 
SMT-based query tracking for differentially private data analytics systems
《Frontiers of Computer Science》2018年第6期1192-1207,共16页Chen LUO Fei HE 
supported in part by the National Program on Key Basic Research Project (973Program)(2010CB328003); the National Natural Science Foundation of China (Grant Nos.61672310, 61272001,60903030,91218302); the National Key Technologies R&D Program of China (SQ2012BAJY4052).
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部