Communication Protocol Specification and Verification
2004 Kč 5 648 Kč
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.
| Autor: | Lai, Richard; Jirachiefpattana, Ajin |
| Nakladatel: | Springer |
| ISBN: | 9780792382843 |
| Rok vydání: | 1998 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 304 |
-
Transfer Pricing and Valuation in Co...
King, Melissa R., DVM, PhD, ACVSMR; Davidson, Elizabeth J.
-
Mathematics to the Rescue of Democracy
Lancia, Giuseppe; Serafini, Paolo
-
Number to Sound
-
Environmental Technology in the Oil ...
-
Be STARS
-
Natural Resource Management and Local...
-
Confessions of the Pricing Man
Hermann Simon
-
From Bench to Boardroom
Spiro, Clifford L.
-
Synthesis of Subsonic Airplane Design
Torenbeek, E.
-
Polypharmacy in Psychiatry Practice,...
-
Sea-Dumped Chemical Weapons: Aspects...
-
Mathematical Methods in Linguistics
Partee, Barbara B. H.; Meulen, A. G. Ter; Wall, Robert
-
Patterns and Processes in Forest Lan...
-
Justifying Taxes
Menendez, Agustin Jose
-
Ecological Economics
Shmelev, Stanislav E.
-
A Complete Course on Theoretical Physics
Lindner, Albrecht
