Applying Model Checking to Industrial-Sized PLC Programs

dc.contributor.author	Fernández Adiego, Borja
dc.contributor.author	Darvas, Daniel
dc.contributor.author	Blanco Viñuela, Enrique
dc.contributor.author	Tournier, Jean Charles
dc.contributor.author	Bliudze, Simon
dc.contributor.author	Blech, Jan Olaf
dc.contributor.author	González Suárez, Víctor Manuel
dc.date.accessioned	2016-05-06T09:27:45Z
dc.date.available	2016-05-06T09:27:45Z
dc.date.issued	2015
dc.identifier.citation	IEEE Transactions on Industrial Informatics, 11(6), p. 1400-1410 (2015); doi:10.1109/TII.2015.2489184
dc.identifier.issn	1551-3203
dc.identifier.issn	1941-0050
dc.identifier.uri	http://hdl.handle.net/10651/36876
dc.format.extent	p. 1400-1410
dc.language.iso	eng
dc.relation.ispartof	IEEE Transactions on Industrial Informatics
dc.rights	©,
dc.source	WOS:000366141100015
dc.source.uri	http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7295624
dc.title	Applying Model Checking to Industrial-Sized PLC Programs
dc.type	journal article
dc.identifier.doi	10.1109/TII.2015.2489184
dc.relation.publisherversion	http://dx.doi.org/10.1109/TII.2015.2489184

Ficheros en el ítem

Ficheros	Tamaño	Formato	Ver
No hay ficheros asociados a este ítem.