Buscar
Mostrando ítems 1-2 de 2
Tesis Doctoral
Aplicación de las técnicas de descripción formal al análisis de implementación de protocolos de telecontrol de redes eléctricas
(1999-05-28)
En esta tesis se plantea un doble problema. Por un lado, partiendo de la especificación formal de una protocolo de telecontrol, se desea obtener un análisis de su prestaciones de forma automática, es decir, sin tener que ...
Tesis Doctoral