Tesis doctoral

  1. Metodología de análisis de modelado de sistemas de eventos discretos mediante técnicas orientadas a objetosaplicación a la generación de la lógica de control basada en iec 61131-3 2002

    Universidad de Oviedo

Tesis dirigidas (2)

  1. Bringing automated formal verification to PLC program development 2014

    Universidad de Oviedo

    Fernández Adiego, Borja

  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

Tribunales de tesis (1)

  1. Vocal del tribunal

    Modelo conceptual para la identificación de sistemas 2006

    Universidad de León

    Sedano Franco, Javier