Bringing automated model checking to plc program development - A CERN case study
Fecha de publicación:
2014
Versión del editor:
Citación:
IFAC Proceedings Volumes, 47(2), p. 394-399 (2014); doi:10.3182/20140514-3-FR-4046.00051
Descripción física:
p. 394-399
Descripción:
IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104 (12. 2014. Cachan, France)
ISBN:
9783902823618
ISSN:
Colecciones
Ficheros en el ítem
Métricas
Compartir
Estadísticas de uso
Metadatos
Este ítem está sujeto a una licencia Creative Commons