
Tell your friends about this item:
Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science 1998 edition
Richard Lai
Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science 1998 edition
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 · 684 g |
Language | English |
See all of Richard Lai ( e.g. Hardcover Book and Paperback Book )