Communication Protocol Specification and Verification
The Springer International Series in Engineering a
- Format: Innbundet
- Antall sider: 304
- Språk: Engelsk
- Forlag/Utgiver: SD Books
- Serienavn: The Springer International Series in Engineering a
- EAN: 9780792382843
- Utgivelsesår: 1998
- Bidragsyter: Lai, Richard; Jirachiefpattana, Ajin
2 339,-
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.
Flere i samme serie.
Merk produktene som skal legges i handlekurven
