Synthesising Helicopter Weight and Centre of Gravity from Flight Parameters
WCET-Analyseverfahren in der automobilen Softwareentwicklung
Airport systems planning and design
Airport systems planning and design
Durchgehende Systemverifikation im Entwicklungsprozess
Würzige Bewertung. Bessere Software in der Fahrzeugelektronik mit Automotive Spice
Software dependent failure analysis and software partitioning by safety measures
Formalized conceptualization for the harmonization of the legal framework in railway transportation
Evaluating proposed architectures for the FAA's Advanced Automation System