Ponencias

  • Bringing automated model checking to plc program development - A CERN case study [2014]

    Categoría:
    Ponencias
    Autores:
    Víctor Manuel González Suárez , Enrique Blanco Viñuela , Jean Charles Tournier , Daniel Darvas , Borja Fernández Adiego
    Fecha:
    01 de Enero de 2014
    Es parte de:
    IFAC Proceedings Volumes, 47(2)