Metodologías de especificacion formal aplicadas a modelos normalizados de protocolos de comunicación industriales

Tesis doctoral de Nogueira Nine Juan Benigno La creciente complejidad de los protocolos de comunicaciones requiere la utilización de nuevas […]

, , , , ,