Applying Model Checking to Industrial-Sized PLC Programs

CímApplying Model Checking to Industrial-Sized {PLC} Programs
Közlemény típusaJournal Article
Kiadás éve2015
SzerzőkFernández Adiego, B., Darvas, D., Blanco Viñuela, E., Tournier, J-C., Bliudze, S., Blech, J O., and González Suárez, V. M.
FolyóiratIEEE Transactions on Industrial Informatics
Kötet11
Kiadás6
Pagination1400-1410
Kiadás dátuma12/2015
ISSN1551-3203
URLhttp://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7295624
DOI10.1109/TII.2015.2489184
Refereed DesignationRefereed