Search Results

  • Applying Model Checking to Industrial-Sized PLC Programs [2015]

    Category:
    Artículos
    Authors:
    Víctor Manuel González Suárez , Jean Charles Tournier , Simon Bliudze , Jan Olaf Blech , Borja Fernández Adiego , Daniel Darvas , Enrique Blanco Viñuela
    Date:
    01 of January of 2015
    It Is a Part of:
    IEEE Transactions on Industrial Informatics