| 中文名称： |
证明和测试分布式系统的功能正确性 |
| 全文提供： |
购买充值卡，就可下载本篇论文全文>>> |
| 论文编号： |
2864786【收藏本论文】【我的收藏】 |
| 英文名称： |
Proving and Testing the Functional Correctness of Distributed Systems |
| 学位类型： |
博士毕业论文 |
| 作者： |
涉及隐私，隐去*** 作者本人请参看权力声明>> |
| 导师： |
涉及隐私，隐去*** |
| 毕业学校： |
涉及隐私，隐去*** |
| 专业： |
计算机系统结构  |
| 毕业年份： |
涉及隐私，隐去*** |
| 关键字： |
证明 测试 分布式 分布式系统 文件共享语义 缓存协议 语义测试 服务网格 3A使用模式 形式化方法 |
| 简介和目录： |
点击此处 免费索取本论文简介和目录>> |
| 全文提供： |
购买充值卡，就可下载本篇论文全文>>>【收藏本论文】【我的收藏】
|
| 强烈推荐：快速发表论文通道>> |
