Los protocolos que se utilizan en la práctica, y los programas que los implementan, con frecuencia son complicados. En consecuencia, se requiere mucha investigación para encontrar técnicas matemáticas formales con las cuales especificar y verificar los protocolos. A continuación se detallará modelos y técnicas, plenamente enmarcadas en el contexto de la capa de enlace de datos, pero aclarando que pueden ser empleados en otras capas By rob Verificación de Protocolos
Ver SlideShare Verificación de Protocolos
Autores: Peralta Diego
A continuación les presentamos las diapositivas de nuestra exposición Autores: - Adriana Becerra - Nancy Loarte
|
Eventos
|
