Mostrar el registro sencillo del ítem
Bringing automated model checking to plc program development - A CERN case study
| dc.contributor.author | Fernández Adiego, Borja | |
| dc.contributor.author | Darvas, Daniel | |
| dc.contributor.author | Tournier, Jean Charles | |
| dc.contributor.author | Blanco Viñuela, Enrique | |
| dc.contributor.author | González Suárez, Víctor Manuel | |
| dc.date.accessioned | 2016-05-06T09:27:30Z | |
| dc.date.available | 2016-05-06T09:27:30Z | |
| dc.date.issued | 2014 | |
| dc.identifier.citation | IFAC Proceedings Volumes, 47(2), p. 394-399 (2014); doi:10.3182/20140514-3-FR-4046.00051 | |
| dc.identifier.isbn | 9783902823618 | |
| dc.identifier.issn | 0065-3438 | |
| dc.identifier.uri | http://hdl.handle.net/10651/36750 | |
| dc.description | IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104 (12. 2014. Cachan, France) | |
| dc.format.extent | p. 394-399 | |
| dc.language.iso | eng | |
| dc.relation.ispartof | IFAC Proceedings Volumes, 47(2) | |
| dc.rights | © IFAC | |
| dc.rights | CC Reconocimiento 3.0 | |
| dc.rights.uri | http://creativecommons.org/licenses/by/3.0/ | |
| dc.title | Bringing automated model checking to plc program development - A CERN case study | eng |
| dc.type | conference output | spa |
| dc.identifier.doi | 10.3182/20140514-3-FR-4046.00051 | |
| dc.relation.publisherversion | http://dx.doi.org/10.3182/20140514-3-FR-4046.00051 | |
| dc.rights.accessRights | open access |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
Este ítem está sujeto a una licencia Creative Commons