Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Verification-Based Analysis of Reliable Multicast Protocol Yunqing Wu

Verification-Based Analysis of Reliable Multicast Protocol

Szerző: Yunqing Wu
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Biblioscholar
Elérhetőség: Beszállítói készleten
Küldés 14-21 napon belül
6 300 Ft
Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally order...

Információk a könyvről

Szerző
Yunqing Wu
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2013
oldal
64
EAN
9781288910267
ISBN
9781288910267
Enbook ID
08286959
Kiadó
Biblioscholar
Súly
132
Méretek
189 x 246 x 3

Teljes leírás

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP Multicasting. In this paper, we develop formal models for R.W using existing automatic verification systems, and perform verification-based analysis on the formal RMP specifications. We also use the formal models of RW specifications to generate a test suite for conformance testing of the RMP implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress between the implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation.

Érdekelheti

Weapon of Pain

Chris A Jackson
5 669 Ft

Lettres Victoria

Vincent Sylvan
3 609 Ft

Recipe Collections (Blank Cookbook)

Speedy Publishing LLC
4 429 Ft

Doubt and Skepticism in Antiquity and the Renaissance

Michelle Zerba
50 656 Ft

Horrid Henry and the Mega-Mean Time Machine

Francesca Simon
3 185 Ft

How Did Slaves Find a Route to Freedom?: And Other Questions about the Underground Railroad

Laura Hamilton Waxman
12 965 Ft

Playful Paws, Happy Hoofs Coloring Book

KREATIVE KIDS
3 858 Ft

Earth Satellites

Allan Morey
12 743 Ft

Dubliners

James Joyce
3 696 Ft

Politics in a Time of Crisis

Pablo Iglesias
7 162 Ft

Maria Finds Courage

TONY DUNGY
6 254 Ft

Learn ASP.Net Web Api: Become ASP. Net Web Api Developer In Just Few Days

Eakta Talan
2 936 Ft

Open Access and the Library

Anja Oberländer
14 923 Ft

A Treatise on Computation

Edward Mann Langley
12 057 Ft

Preston Lee's Beginner English With Workbook Section Lesson 21 - 40 For Ukrainian Speakers

Matthew Preston
4 793 Ft

The Natural History of the Raw Materials of Commerce

John Yeats
24 086 Ft

That's Not My... Easter Egg

Rachel Wells
3 567 Ft

British Islands

Thomas Milner
9 794 Ft

Plant-induced soil changes: Processes and feedbacks

Nico van Breemen
59 307 Ft

Adventures Of Tom Sawyer

Mark Twain
7 761 Ft

Group Theory in Chemistry and Spectroscopy

Boris S Tsukerblat
7 554 Ft

Islam

Abdelmajid Sharfi
55 610 Ft

Epistemology versus Ontology

P. Dybjer
79 037 Ft

Creating Conditions for Promising Collaboration

Edwin Kaats
25 238 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Secretos de un Modo de Orar Olvidado = Secrets of the Lost Mode of Prayer

Gregg Braden
5 876 Ft

Ziffern Und Ziffernsysteme

Eugen Löffler
20 390 Ft

El visado colegial (Formato dúo)

Calvo Sánchez
21 325 Ft

Memoires Du Baron d'Haussez, Dernier Ministre de la Marine Sous La Restauration. Tome 1

Charles Lemercher De Haussez
10 393 Ft

Sueldecitos más bien bajitos # ¡Miseria, la bacteria! # Drones matones (Súper Hu

FRANCISCO IBAÑEZ
8 010 Ft

Aline et Le Manuscrit du Lichtenberg

Carmona
4 752 Ft