PDF:
Requirements towards a formal specification language for PLCs
| Cím | Requirements towards a formal specification language for PLCs |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2015 |
| Szerzők | Darvas, D., Majzik, I., and Blanco Viñuela, E. |
| Konferencia neve | Proceedings of the 22nd PhD Mini-Symposium |
| Kiadás dátuma | 02/2015 |
| Kiadó | Budapest University of Technology and Economics, Department of Measurement and Information Systems |
| Konferencia helyszíne | Budapest, Hungary |
| ISBN-szám | 978-963-313-151-0 |
| URL | http://minisy.mit.bme.hu/papers/22Minisymp_proceedings.pdf |
