Artículos

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

    Categoría:
    Artículos
    Autores:
    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
    Fecha:
    01 de Enero de 2015
    Es parte de:
    IEEE Transactions on Industrial Informatics