Protocol validation by simultaneous reachability analysis
Analíticas: Mostrar analíticasTipo de contenido:- texto
- sin mediación
- volumen
Contenidos:
En: Computer communications (vol. 20, nro. 9, Sep. 1997), p. 772-788S.T.:H004.7 COM PP2708
Simultaneous reachability analysis is a relief strategy for validating protocols specified as a collection of n (n ? 2) processes communicating over error-free simplex channels
No hay ítems correspondientes a este registro
Simultaneous reachability analysis is a relief strategy for validating protocols specified as a collection of n (n ? 2) processes communicating over error-free simplex channels
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.