| 书目名称 | Formal Description Techniques IX |
| 副标题 | Theory, application |
| 编辑 | Reinhard Gotzhein,Jan Bredereke |
| 视频video | http://file.papertrans.cn/346/345691/345691.mp4 |
| 丛书名称 | IFIP Advances in Information and Communication Technology |
| 图书封面 |  |
| 描述 | This book is the combined proceedings of the latest IFIP FormalDescription Techniques (FDTs) and Protocol Specification, Testing andVerification (PSTV) series. It addresses FDTs applicable tocommunication protocols and distributed systems, with specialemphasis on standardised FDTs. It features state-of-the-art intheory, application, tools and industrialisation of formaldescription. |
| 出版日期 | Book 1996 |
| 关键词 | communication; distributed systems; engine; foundation; modeling; modelling; probability; testing; validatio |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-0-387-35079-0 |
| isbn_ebook | 978-0-387-35079-0Series ISSN 1868-4238 Series E-ISSN 1868-422X |
| issn_series | 1868-4238 |
| copyright | IFIP International Federation for Information Processing 1996 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-9-18 21:00
发表于 2025-3-21 17:03:54
