[發明專利]一種實時協議的形式化分析及驗證方法在審
| 申請號： | 201610755243.5 | 申請日： | 2016-08-29 |
| 公開（公告）號： | CN106411635A | 公開（公告）日： | 2017-02-15 |
| 發明（設計）人： | 史建琦;龐海萍;黃滟鴻;李昂;何積豐;方徽星 | 申請（專利權）人： | 華東師范大學 |
| 主分類號： | H04L12/26 | 分類號： | H04L12/26 |
| 代理公司： | 北京乾誠五洲知識產權代理有限責任公司11042 | 代理人： | 付曉青,楊玉榮 |
| 地址： | 200062 上*** | 國省代碼： | 上海;31 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 一種 實時 協議 形式化 分析 驗證 方法 | ||
【說明書】：
下載完整專利技術內容需要扣除積分，VIP會員可以免費下載。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于華東師范大學，未經華東師范大學許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201610755243.5/2.html，轉載請聲明來源鉆瓜專利網。
- 上一篇：鋰二次電池用負極活性物質
- 下一篇：大容量的電能儲存裝置
