Modelling and Formal Verification of Timing Aspects in Large PLC Programs
| Cím | Modelling and Formal Verification of Timing Aspects in Large PLC Programs |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2014 |
| Szerzők | Fernández Adiego, B., Darvas, D., Blanco Viñuela, E., Tournier, J-C., González Suárez, V. M., and Blech, J O. |
| Szerkesztő | Boje, E., and Xia, X. |
| Konferencia neve | Proceedings of the 19th IFAC World Congress 2014 |
| Kiadás dátuma | 08/2014 |
| URL | https://cds.cern.ch/record/1956687 |
| DOI | 10.3182/20140824-6-ZA-1003.01279 |
| Refereed Designation | Refereed |
