A formal specification method for PLC-based applications

TitleA formal specification method for {PLC}-based applications
Publication TypeConference Paper
Year of Publication2015
AuthorsDarvas, D., Blanco Viñuela, E., and Majzik, I.
EditorCorvetti, L., Riches, K., and Schaa, V. R. W.
Conference NameProceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems
Date Published10/2015
PublisherJACoW
Conference LocationMelbourne, Australia
ISBN Number978-3-95450-148-9
URLhttp://accelconf.web.cern.ch/AccelConf/ICALEPCS2015/papers/wepgf091.pdf
DOI10.18429/JACoW-ICALEPCS2015-WEPGF091