Modelling and Formal Verification of Timing Aspects in Large PLC Programs
| Title | Modelling and Formal Verification of Timing Aspects in Large PLC Programs |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Fernández Adiego, B., Darvas, D., Blanco Viñuela, E., Tournier, J-C., González Suárez, V. M., and Blech, J O. |
| Editor | Boje, E., and Xia, X. |
| Conference Name | Proceedings of the 19th IFAC World Congress 2014 |
| Date Published | 08/2014 |
| URL | https://cds.cern.ch/record/1956687 |
| DOI | 10.3182/20140824-6-ZA-1003.01279 |
| Refereed Designation | Refereed |
