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