The temporal variability of the OH* airglow layer: A study based on Fourier Transform Spectroscopy and mesospheric models

von Kowalewski, Stefan
Veröffentlicht 2015

SE 2013 : [Software Engineering 2013 Conference: Software - Innovator für Wirtschaft und Gesellschaft ... Aachen]

Veröffentlicht 2015

Analysis and Improvement of Z-R relations based on MRR and cloud radar measurements

von Kowalewski, Stefan
Veröffentlicht 2009

Modulare diskrete Modellierung verfahrenstechnischer Anlagen zum systematischen Steuerungsentwurf

von Kowalewski, Stefan
Veröffentlicht 1996

Achieving highly reliable embedded software : an empirical evaluation of different approaches

von Salewski, Falk
Veröffentlicht 2007

Fusion und Sensitivitätsanalyse von Kamera- und digitalen Navigationsdaten

von Wimmershoff, Marc
Veröffentlicht 2015

Rock- & Pop-Klavier : Grundkurs

von Barabas, Helge
Veröffentlicht 2006

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 ; proceedings

Veröffentlicht 2010

Test Suite Augmentation for Reconfigurable PLC Software in the Internet of Production

von Grochowski, KK Marco
Veröffentlicht in FMICS (27. : 2022 : Warschau) Formal methods for industrial critical systems (2022)

The Dynamic Service-oriented Software Architecture for the UNICARagil Project

von Mokhtarian, Armin
Veröffentlicht in Aachen Colloquium Sustainable Mobility (29. : 2020 : Online) 29. Aachen Colloquium Sustainable Mobility ; 1: October 6th, 2020 (2020)

Scheduling mechanisms for efficient and safe automotive systems integration

von Beckert, Matthias
Veröffentlicht 2019

An Automotive Safety Software Architecture for Future Vehicle Applications

von Prabhu, Vinod Mohan
Veröffentlicht in Embedded Software Engineering Kongress (2020 : Online) Embedded Software Engineering Kongress 2020 (2020)

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practi...

Veröffentlicht 2009

Multimodales dynamisches Routen mit eNav

von Džafic, Dženan
Veröffentlicht in AGIT-Symposium (29. : 2017 : Salzburg) agit_2017 geospatialonline (2017)

Metriken-getriebene Prozessentwicklung im Rahmen zukünftiger vernetzter Mobilität

von Kugler, Christopher
Veröffentlicht in Embedded Software Engineering Kongress (2017 : Sindelfingen) Embedded Software Engineering Kongress 2017 (2017)

Software Engineering 2013 : Fachtagung des GI-Fachbereichs Softwaretechnik ; 26. Februar - 1. März 2013 in Aachen

Veröffentlicht 2013

A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course

von Smieschek, Manfred
Veröffentlicht in CyPhy (9. : 2019 : New York, NY) Cyber physical systems (2020)

Software engineering 2013 : Fachtagung des GI-Fachbereichs Softwaretechnik ; 26. Februar - 1. März 2013 in Aachen ; SE 2013

Veröffentlicht 2013

Software engineering 2013 : Fachtagung des GI-Fachbereichs Softwaretechnik ; 26. Februar - 1. März 2013 in Aachen ; SE 2013

Veröffentlicht 2013

Verification of Behavior Trees using Linear Constrained Horn Clauses

von Henn, Thomas
Veröffentlicht in FMICS (27. : 2022 : Warschau) Formal methods for industrial critical systems (2022)