Dobler, Heinz: Crosscompiler am Beispiel der Übersetzung von Fortran nach Ada
/ Heinz Dobler. - Linz : Trauner, 1994. - IV, 212 S. : graph. Darst.; 21 cm - (Schriften der Johannes-Kepler-Universität Linz : Reihe C, Technik und Naturwissenschaften; 4)
ISBN 978-3-85320-671-3 / 3-85320-671-9 kart.
Quelle: DNB
Mersch, Hennig: Deterministische, dynamische Systemstrukturen in der Automatisierungstechnik
/ Dipl.-Inform. Hennig Mersch, Bielefeld. - Düsseldorf : VDI Verlag, 2016. - XI, 130 Seiten : Illustrationen; 21 cm - (Fortschrittberichte VDI : Reihe 8, Meß-, Steuerungs- und Regelungstechnik; Nr. 1245)
ISBN 978-3-18-524508-4 / 3-18-524508-3 Broschur
Quelle: DNB
Jeromin, Holger: Explizites Modell für Benutzungsschnittstellen im gesamten Lebenszyklus einer leittechnischen Anlage
/ Dipl.-Ing. Holger Jeromin, Verl. - Als Manuskript gedruckt - Düsseldorf : VDI Verlag, 2019. - VIII, 75 Seiten : Illustrationen; 21 cm - (Fortschrittberichte VDI : Reihe 8, Meß-, Steuerungs- und Regelungstechnik; Nr. 1268)
ISBN 978-3-18-526808-3 Broschur
Quelle: DNB
Formal approaches to software testing and runtime verification
: revised selected papers / First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15 - 16, 2006. Klaus Havelund ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4262)
ISBN 978-3-540-49703-5
Lizenzpflichtig
Quelle: DNB
Mersch, Tina: Regelbasierte Modelltransformation in prozessleittechnischen Laufzeitumgebungen
/ Dipl.-Inform. Tina Mersch. - Als Manuskript gedruckt - Düsseldorf : VDI Verlag GmbH, 2018. - VIII, 152 Seiten : Illustrationen; 21 cm - (Fortschrittberichte VDI : Reihe 8, Meß-, Steuerungs- und Regelungstechnik; Nr. 1261)
ISBN 978-3-18-526108-4 Broschur
Quelle: DNB
Grüner, Sten: Ressourcenadaptive Anwendungen für die operative Prozessleittechnik
/ Dipl.-Inform. Dipl.-Wirt.Inform. Sten Grüner, Ilvesheim. - Düsseldorf : VDI Verlag GmbH, 2017. - XIII, 152 Seiten : Illustrationen; 21 cm - (Fortschrittberichte VDI : Reihe 8, Meß-, Steuerungs- und Regelungstechnik; Nr. 1257)
ISBN 978-3-18-525708-7 Broschur
Quelle: DNB
Runtime verification
: 8th international workshop ; selected papers / RV 2008, Budapest, Hungary, March 30, 2008. Martin Leucker (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5289)
ISBN 978-3-540-89247-2
Lizenzpflichtig
Quelle: DNB