Search Results

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

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