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.
-
Contemporary Collaborative Consumption
-
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.
-
Polypharmacy in Psychiatry Practice,...
-
Morphology and Evolution of Turtles
-
Quantum Mechanics for Pedestrians 2
Pade, Jochen
-
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
