Logic Model Checking of Time-Periodic Real-Time Systems
Certified Information Flow Analysis of Service Implementations
Health Management Systems Engineering and Integration
Scientific Developers v/s Static Analysis Tools: Vision and Position Paper
Using Knowledge Exchange Workshops to analyze the DLR Software Engineering Community
Performance Analysis of Complex Engineering Frameworks
Function-Based API for Gas Turbine Engine Performance Programs
Task modelling and model validation for car driving
PySimulator – A Simulation and Analysis Environment in Python with Plugin Infrastructure
On-Board Data Analysis and Real-Time Information System
How Few? Bayesian Statistics in Injury Biomechanics
Digital Annex of Diagnostic Trouble Code Definitions and Failure Type Byte Definitions
Online and offline security policy assessment
Simulation Analysis of Light Off-Road Vehicle's Body Frame during Airdropping
Controlling Infrastructure Costs: Right-Sizing the Mission Control Facility
Function-Based API for Gas Turbine Engine Performance Programs