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 },
}