chinese直男口爆体育生外卖, 99久久er热在这里只有精品99, 又色又爽又黄18禁美女裸身无遮挡, gogogo高清免费观看日本电视,私密按摩师高清版在线,人妻视频毛茸茸,91论坛 兴趣闲谈,欧美 亚洲 精品 8区,国产精品久久久久精品免费

電子發(fā)燒友App

硬聲App

掃碼添加小助手

加入工程師交流群

搜索歷史

清空
搜索熱詞
      0
      • 聊天消息
      • 系統(tǒng)消息
      • 評論與回復(fù)
      VIP于 到期 續(xù)費
      登錄后你可以
      • 下載海量資料
      • 學(xué)習(xí)在線課程
      • 觀看技術(shù)視頻
      • 寫文章/發(fā)帖/加入社區(qū)
      會員中心
      創(chuàng)作中心
      發(fā)布
      創(chuàng)作活動

      完善資料讓更多小伙伴認(rèn)識你，還能領(lǐng)取20積分哦，立即完善>

      3天內(nèi)不再提示
      創(chuàng)作
      電子發(fā)燒友網(wǎng)>電子資料下載>通信網(wǎng)絡(luò)>通信協(xié)議形式化模型的研究

      通信協(xié)議形式化模型的研究

      2018-01-09 | rar | 1.29 MB | 次下載 | 3積分

      資料介紹

      　　本文提出了適應(yīng)于通信協(xié)議的一類抽象形式化模型：抽象行為模型和抽象結(jié)構(gòu)模型．前者主要包括事件、輸入／輸出、內(nèi)部／外部和狀態(tài)等子模型；后者主要包括交互點和分層子模型，文中討論了這類形式模型的有效性和適用性，運用該類模型對通信協(xié)議的主要概念及性質(zhì)進(jìn)行了形式定義和描述，重點給出了基于該類模型的協(xié)議安全性及活性的形式定義，研討了安全性及活性的驗證，以及某些典型形式描述技術(shù)FDT （Estelle，LOTOS，SDL）之間的語義聯(lián)系，從而為通信協(xié)議的研究提供了一種有效的形式基礎(chǔ)。

      通信協(xié)議形式化模型的研究

      通信協(xié)議
      加入交流群
      微信小助手二維碼

      掃碼添加小助手

      加入工程師交流群

      下載該資料的人也在下載 下載該資料的人還在閱讀
      更多 >

      評論

      查看更多

      下載排行

      本周

      1. 1ECM96智能電測儀表使用說明書
      2. 3.41 MB   |  7次下載  |  10 積分
      3. 2ECM72智能電測儀表使用說明書
      4. 2.07 MB   |  2次下載  |  10 積分
      5. 3納祥科技NX9020中文規(guī)格書，114 dB CODEC，國產(chǎn)替代CS4272
      6. 440.34 KB  |  2次下載  |  免費
      7. 4 斯丹電子 | 磁傳感技術(shù)在數(shù)據(jù)中心市場應(yīng)用
      8. 614.56 KB  |  2次下載  |  免費
      9. 5矽力杰 Silergy SY8303A 降壓轉(zhuǎn)換器 規(guī)格書 Datasheet 佰祥電子
      10. 815.36 KB  |  1次下載  |  免費
      11. 6PC0815/PC0815A 850伏N溝道耗盡模式功率MOSFET技術(shù)手冊
      12. 0.42 MB   |  1次下載  |  免費
      13. 7WD1117產(chǎn)品規(guī)格書
      14. 763.67 KB  |  1次下載  |  免費
      15. 8斯丹電子 | 數(shù)據(jù)中心傳感器應(yīng)用工程指南
      16. 6.95 MB  |  次下載  |  免費

      本月

      1. 1ECM96智能電測儀表使用說明書
      2. 3.41 MB   |  7次下載  |  10 積分
      3. 2矽力杰 Silergy SY7215A 同步升壓調(diào)節(jié)器 規(guī)格書 Datasheet 佰祥電子
      4. 1.12 MB  |  5次下載  |  免費
      5. 3WTK6900FC 鼾聲識別功能說明書V1
      6. 2.04 MB  |  4次下載  |  免費
      7. 4SY50655 用于高輸入電壓應(yīng)用的偽固定頻率SSR反激式穩(wěn)壓器英文資料
      8. 1.01 MB   |  3次下載  |  免費
      9. 5納祥科技NX9020中文規(guī)格書，114 dB CODEC，國產(chǎn)替代CS4272
      10. 440.34 KB  |  2次下載  |  免費
      11. 6SY52341 次級側(cè)同步整流英文手冊
      12. 0.94 MB   |  2次下載  |  免費
      13. 7華潤微 CRTE280P06L2-G -60V Trench P-MOSFET 技術(shù)參數(shù)與應(yīng)用解析
      14. 1.83 MB  |  2次下載  |  免費
      15. 8 斯丹電子 | 磁傳感技術(shù)在數(shù)據(jù)中心市場應(yīng)用
      16. 614.56 KB  |  2次下載  |  免費

      總榜

      1. 1matlab軟件下載入口
      2. 未知  |  935137次下載  |  10 積分
      3. 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
      4. 1.48MB  |  420064次下載  |  10 積分
      5. 3Altium DXP2002下載入口
      6. 未知  |  233095次下載  |  10 積分
      7. 4電路仿真軟件multisim 10.0免費下載
      8. 340992  |  191469次下載  |  10 積分
      9. 5十天學(xué)會AVR單片機與C語言視頻教程 下載
      10. 158M  |  183360次下載  |  10 積分
      11. 6labview8.5下載
      12. 未知  |  81606次下載  |  10 積分
      13. 7Keil工具M(jìn)DK-Arm免費下載
      14. 0.02 MB  |  73832次下載  |  10 積分
      15. 8LabVIEW 8.6下載
      16. 未知  |  65991次下載  |  10 積分