LIBROS DEL AUTOR: yunqing wu

1 resultados para LIBROS DEL AUTOR: yunqing wu

yunqing wu Eliminar filtro Quitar filtros
  • The Verification-based Analysis of Reliable Multicast Protocol
    Yunqing Wu / National Aeronautics and Space Administr
    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 specif...
    Disponible

    17,23 €