Search Results

  • Bringing automated formal verification to PLC program development [2014]

    Category:
    Tesis
    Authors:
    Borja Fernández Adiego
    Directors:
    Enrique Blanco Viñuela , Víctor Manuel González Suárez
    Departament:
    Ingeniería Eléctrica, Electrónica, de Computadores y Sistemas, Departamento de
    Date:
    12 of December of 2014