Search Results

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

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