Resultados de la búsqueda

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

    Categoría:
    Tesis
    Autores:
    Borja Fernández Adiego
    Directores:
    Víctor Manuel González Suárez , Enrique Blanco Viñuela
    Departamento:
    Ingeniería Eléctrica, Electrónica, de Computadores y Sistemas, Departamento de
    Fecha:
    12 de Diciembre de 2014