Search Results

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

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