Thèses dirigées (2)

  1. Planificación y desarrollo de funciones de seguridad para la prevención de colisiones en la mar 2022

    Universidad de Oviedo

    Poo Arguelles, María de los Reyes

  2. MIOOP. Modificación del estándar IEC-61131 para dar soporte al paradigma de programación orientado a objetos: aplicación al desarrollo del control de procesos industriales 2012

    Universidad de Oviedo

    Sierra Díaz, Ángel Luis

Jurys de thèses (3)

  1. Un secrétaire du jury

    Bringing automated formal verification to PLC program development 2014

    Universidad de Oviedo

    Fernández Adiego, Borja

  2. Rapporteur du jury

    Métodos de identificación de intervalos de planta en el dominio de la frecuencia 2012

    UNED. Universidad Nacional de Educación a Distancia

    García Martínez, Juan Angel

  3. Rapporteur du jury

    Aplicación de técnicas de redes neuronales a la extracción automática de conceptos complejos orientada a la caracterización de conocimiento en bases de datos 2002

    UNED. Universidad Nacional de Educación a Distancia

    Pérez Molina, Clara