Resultados de la búsqueda

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

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