Repositorio
Cómo publicar
Recursos
FAQs

Applying Model Checking to Industrial-Sized PLC Programs

Autor(es) y otros:
Fernández Adiego, BorjaAutoridad Uniovi; Darvas, Daniel; Blanco Viñuela, Enrique; Tournier, Jean Charles; Bliudze, Simon; Blech, Jan Olaf; González Suárez, Víctor ManuelAutoridad Uniovi
Fecha de publicación:
2015
Versión del editor:
http://dx.doi.org/10.1109/TII.2015.2489184
Citación:
IEEE Transactions on Industrial Informatics, 11(6), p. 1400-1410 (2015); doi:10.1109/TII.2015.2489184
Descripción física:
p. 1400-1410
URI:
http://hdl.handle.net/10651/36876
ISSN:
1551-3203; 1941-0050
DOI:
10.1109/TII.2015.2489184
Colecciones
Ficheros en el ítem
Métricas
Compartir
Estadísticas de uso
Estadísticas de uso
Metadatos
Mostrar el registro completo del ítem