2. 您的位置
3. 首页
4. 学位论文
5. 基于行为时序逻辑TLA的网络协议的描述与验证

基于行为时序逻辑TLA的网络协议的描述与验证

来源 :贵州大学 | 被引量 : 2次 | 上传用户：szg6136755

【作 者】

：

刘照洋 

【出 处】

：

贵州大学

【发表日期】

：

2015年01期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

通用处理器中的TD-SCDMA空口协议栈设计与实现

学位

基于ARM的无源毫米波成像系统显控终端设计

学位

兼容M1的CPU卡嵌入式软件系统的研究与实现

学位

配方施肥对白菜产量及品质的影响

学位

美国生物质能源资源分布及利用

期刊

面向证券业的云数据存管系统的设计与构建

学位

移动终端闪存文件系统的性能分析与优化技术研究

学位

逸珑8133的可靠性试验的研究

学位

40纳米工艺双模转置存储器的设计

学位

适用于PLB4的SDRAM控制器的设计与验证

学位