Applying Model Checking to Industrial-Sized PLC Programs
| Title | Applying Model Checking to Industrial-Sized {PLC} Programs |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | 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. |
| Journal | IEEE Transactions on Industrial Informatics |
| Volume | 11 |
| Issue | 6 |
| Pagination | 1400-1410 |
| Date Published | 12/2015 |
| ISSN | 1551-3203 |
| URL | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7295624 |
| DOI | 10.1109/TII.2015.2489184 |
| Refereed Designation | Refereed |
