Communication Protocol Specification and Verification
2004 Kč 3 616 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 |
-
Microsystems Dynamics
Ostasevicius, Vytautas; Janusas, Giedrius; Palevicius, Arvydas; Gaidys, Rimvydas; Jurenas, Vytautas
-
Microprocessors in Robotic and Manuf...
-
Intelligent Multimedia Multi-Agent S...
Khosla, Rajiv; Sethi, Ishwar K.; Damiani, Ernesto
-
Agile Testing
Baumgartner, Manfred; Klonk, Martin; Mastnak, Christian; Pichler, Helmut; Seidl, Richard; Tanczos, Siegfried
-
Die Rechtsgeschaftliche UEbertragung...
Streeck, Eva-Maria
-
The Philosophy of Medicine
-
International Migration and the Futu...
-
Genetic Influences on Human Fertilit...
-
Imperceptible Harms and Benefits
-
Around the Tree
-
Heidegger on Art and Art Works
Kockelmans, Joseph
-
On the Study and Practice of Intrave...
-
The Conduct of the Dutch
Coombs, Douglas
-
Analysis and Design of Structural Bo...
Tong, Liyong; Steven, Grant P.
-
New Anesthetic Agents, Devices and M...
-
The Daily Growth Cycle of Phytoplankton