Programmanalyse von SPS-Programmen als Teilschritt für die automatisierte Verifikation

Typ Beitrag in einem Tagungsband/Proceedingband
VerfasserInnen Kucera Gernot
Erscheinungsjahr 2013

Herausgeber Kempter, Guido;Lofner, Hans-Jürgen
Buchtitel Grenzenlos kooperieren. Tagungsband 7. Forschungsforum der österreichischen Fachhochschulen. Forschung im Dialog mit Gesellschaft und Wirtschaft
Verlag wvb Wissenschaftlicher Verl.

Konferenzname Grenzenlos kooperieren - Forschung im Dialog mit Gesellschaft und Wirtschaft. 7. Forschungsforum der österreichischen Fachhochschulen. FH Vorarlberg. Dornbirn, Austria, 03.-04. April 2013.
Konferenzort Dornbirn, Austria

Seitenangabe 47 - n/a

ISBN 978-3-86573-709-0