| 书目名称 | Formal Description Techniques and Protocol Specification, Testing and Verification | | 副标题 | FORTE XI/PSTV XVIII’ | | 编辑 | Stan Budkowski,Ana Cavalli,Elie Najm | | 视频video | | | 丛书名称 | 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 | | 关键词 | 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影响因子(影响力)学科排名
书目名称Formal Description Techniques and Protocol Specification, Testing and Verification网络公开度
书目名称Formal Description Techniques and Protocol Specification, Testing and Verification网络公开度学科排名
书目名称Formal Description Techniques and Protocol Specification, Testing and Verification被引频次
书目名称Formal Description Techniques and Protocol Specification, Testing and Verification被引频次学科排名
书目名称Formal Description Techniques and Protocol Specification, Testing and Verification年度引用
书目名称Formal Description Techniques and Protocol Specification, Testing and Verification年度引用学科排名
书目名称Formal Description Techniques and Protocol Specification, Testing and Verification读者反馈
书目名称Formal Description Techniques and Protocol Specification, Testing and Verification读者反馈学科排名
|
|
|
发表于 2025-3-21 19:00:22
