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 |
