| Title | A formal specification method for {PLC}-based applications |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Darvas, D., Blanco Viñuela, E., and Majzik, I. |
| Editor | Corvetti, L., Riches, K., and Schaa, V. R. W. |
| Conference Name | Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems |
| Date Published | 10/2015 |
| Publisher | JACoW |
| Conference Location | Melbourne, Australia |
| ISBN Number | 978-3-95450-148-9 |
| URL | http://accelconf.web.cern.ch/AccelConf/ICALEPCS2015/papers/wepgf091.pdf |
| DOI | 10.18429/JACoW-ICALEPCS2015-WEPGF091 |
