| Cím | A formal specification method for {PLC}-based applications |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2015 |
| Szerzők | Darvas, D., Blanco Viñuela, E., and Majzik, I. |
| Szerkesztő | Corvetti, L., Riches, K., and Schaa, V. R. W. |
| Konferencia neve | Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems |
| Kiadás dátuma | 10/2015 |
| Kiadó | JACoW |
| Konferencia helyszíne | Melbourne, Australia |
| ISBN-szám | 978-3-95450-148-9 |
| URL | http://accelconf.web.cern.ch/AccelConf/ICALEPCS2015/papers/wepgf091.pdf |
| DOI | 10.18429/JACoW-ICALEPCS2015-WEPGF091 |
