Applying Model Checking to Industrial-Sized PLC Programs
Cím | Applying Model Checking to Industrial-Sized {PLC} Programs |
Közlemény típusa | Journal Article |
Kiadás éve | 2015 |
Szerzők | Ferná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óirat | IEEE Transactions on Industrial Informatics |
Kötet | 11 |
Kiadás | 6 |
Pagination | 1400-1410 |
Kiadás dátuma | 12/2015 |
ISSN | 1551-3203 |
URL | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7295624 |
DOI | 10.1109/TII.2015.2489184 |
Refereed Designation | Refereed |