Resultados de la búsqueda

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

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