Metodología para la verificación de sistemas de conmutación de paquetes

Tesis doctoral de Sosa González Carlos Javier Esta tesis doctoral aporta una metodología y un entorno para la verificación y […]

, , , , ,