2. 您的位置
3. 首页
4. 学位论文
5. 使用TLA对一个工业级安全协议的建模实现

使用TLA对一个工业级安全协议的建模实现

来源 :哈尔滨工业大学 | 被引量 : 0次 | 上传用户：aquabluesky

【作 者】

：

张勤 

【出 处】

：

哈尔滨工业大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

语义数据上使用混合图的快速有效的关键字查询

学位

计算机系统的构造集成环境设计与实现

学位

辐照行业的高级生产计划自动调度系统

学位

Moth-eyeStructuredPolydimethylsiloxaneFilmsforHigh-EfficiencyPerovskiteSolarCells

期刊

通过切片过滤改进聚类测试选择技术

学位

基于BREW平台的相机应用的设计与实现

学位

基于非阻塞的分布式数据库事务原子提交协议

学位

独立演进型分布式数据仓库系统的创建技术研究

学位

英语教学中大学生学习个性的培育

期刊

基于工作流的遂宁市船山区政府信息服务系统的设计与实现

学位