Tell your friends about this item:
Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science Richard Lai 1998 edition
Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science
Richard Lai
Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e.g., absence of deadlock) or specific to the particular protocol system directly derived from the specification.
327 pages, biography
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | September 30, 1998 |
| ISBN13 | 9780792382843 |
| Publishers | Springer |
| Pages | 304 |
| Dimensions | 161 × 244 × 23 mm · 666 g |
| Language | English |