by Sebastian Biallas, Georg Frey, Stefan Kowalewski, Bastian Schlich, Doaa Soliman
Reference:
Formale Verifikation von Sicherheits-Funktionsbausteinen der PLCopen auf Modell- und Code-Ebene (Sebastian Biallas, Georg Frey, Stefan Kowalewski, Bastian Schlich, Doaa Soliman), In Tagungsband Entwicklung und Betrieb komplexer Automatisierungssysteme (EKA 2010), ifak Magdeburg, 2010.
Bibtex Entry:
@inproceedings { BFK+10, author = { Biallas, Sebastian and Frey, Georg and Kowalewski, Stefan and Schlich, Bastian and Soliman, Doaa }, title = { Formale Verifikation von Sicherheits-Funktionsbausteinen der PLCopen auf Modell- und Code-Ebene }, booktitle = { Tagungsband Entwicklung und Betrieb komplexer Automatisierungssysteme (EKA 2010) }, publisher = { ifak Magdeburg }, publishedas = { Druck }, language = { ger }, pages = { 49--57 }, year = { 2010 }, isbn = { 978-3-940961-41-9 }, location = { Magdeburg, Germany }, i11key = { conference }, i11projectkey = { Arcade }, for_reporting_period = { 2010 }, }