| 書目名稱 | Formal Description Techniques and Protocol Specification, Testing and Verification | | 副標(biāo)題 | FORTE XI/PSTV XVIII’ | | 編輯 | Stan Budkowski,Ana Cavalli,Elie Najm | | 視頻video | http://file.papertrans.cn/346/345695/345695.mp4 | | 叢書名稱 | IFIP Advances in Information and Communication Technology | | 圖書封面 |  | | 描述 | .Formal Description Techniques and Protocol Specification,Testing and. .Verification. addresses formal descriptiontechniques (FDTs) applicable to distributed systems and communicationprotocols. It aims to present the state of the art in theory,application, tools and industrialization of FDTs. Among the importantfeatures presented are: FDT-based system and protocol engineering;FDT-application to distributed systems; Protocol engineering;Practical experience and case studies. ..Formal Description Techniques and Protocol Specification, Testingand. .Verification. comprises the proceedings of the JointInternational Conference on Formal Description Techniques forDistributed Systems and Communication Protocols and ProtocolSpecification, Testing and Verification, sponsored by theInternational Federation for Information Processing, held in November1998, Paris, France. ..Formal Description Techniques and Protocol Specification, Testingand. .Verification. is suitable as a secondary text for agraduate-level course on Distributed Systems or Communications, and asa reference for researchers and practitioners in industry. | | 出版日期 | Book 1998 | | 關(guān)鍵詞 | Hardware; Message Sequence Chart; Quality of Service; Quality of Service (QoS); Routing; Software; Symbol; | | 版次 | 1 | | doi | https://doi.org/10.1007/978-0-387-35394-4 | | isbn_softcover | 978-1-4757-5262-5 | | isbn_ebook | 978-0-387-35394-4Series ISSN 1868-4238 Series E-ISSN 1868-422X | | issn_series | 1868-4238 | | copyright | IFIP International Federation for Information Processing 1998 |
The information of publication is updating
書目名稱Formal Description Techniques and Protocol Specification, Testing and Verification影響因子(影響力)
書目名稱Formal Description Techniques and Protocol Specification, Testing and Verification影響因子(影響力)學(xué)科排名
書目名稱Formal Description Techniques and Protocol Specification, Testing and Verification網(wǎng)絡(luò)公開度
書目名稱Formal Description Techniques and Protocol Specification, Testing and Verification網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Formal Description Techniques and Protocol Specification, Testing and Verification被引頻次
書目名稱Formal Description Techniques and Protocol Specification, Testing and Verification被引頻次學(xué)科排名
書目名稱Formal Description Techniques and Protocol Specification, Testing and Verification年度引用
書目名稱Formal Description Techniques and Protocol Specification, Testing and Verification年度引用學(xué)科排名
書目名稱Formal Description Techniques and Protocol Specification, Testing and Verification讀者反饋
書目名稱Formal Description Techniques and Protocol Specification, Testing and Verification讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-15 15:48
發(fā)表于 2025-3-21 19:00:22
