Aplicación de las técnicas de descripción formal al análisis de implementación de protocolos de telecontrol de redes eléctricas

Aquesta tesi apareix a les col·leccions següents