Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Verification-Based Analysis of Reliable Multicast Protocol

Name: Verification-Based Analysis of Reliable Multicast Protocol
Brand: Biblioscholar
SKU: 08286959
Price: 16.51 EUR
Availability: InStock
Author: Yunqing Wu
ISBN: 9781288910267

Yunqing Wu

Língua

Inglês

Livro Capa mole

Código Libristo: 08286959

Editoras Biblioscholar, março 2013

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally order... Descrição completa

Código Libristo: 08286959

40 b

16.51 €

Armazenamento externo Envio em 14-21 dias

Até 30 dias para devoluções

Os clientes também compraram

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

Capa mole

15.09 €

Ziffern Und Ziffernsysteme Eugen Löffler

Capa mole

56.03 €

El visado colegial (Formato dúo) Calvo Sánchez

Capa mole

54.72 €

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

Capa mole

29.48 €

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

Livro de capa dura

20.26 €

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.