Search Results

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

    Category:
    Ponencias
    Authors:
    Víctor Manuel González Suárez , Enrique Blanco Viñuela , Jean Charles Tournier , Daniel Darvas , Borja Fernández Adiego
    Date:
    01 of January of 2014
    It Is a Part of:
    IFAC Proceedings Volumes, 47(2)