Model-based architecting and optimization of distributed integrated modular avionics
Model-based architecting and optimization of distributed integrated modular avionics
An observation tool to study air traffic control and flightdeck collaboration
Impact of V2G on Distribution Feeder: A Power Loss Reduction Approach
Distributed simulation platform to design advanced RFID based freight transportation systems
Formal correctness of an automotive bus controller implementation at gate-level
Towards Coordinated Multirobot Missions for Lunar Sample Collection in an Unknown Environment
The Influence of Pillow Material on Body Distribution and Sleeping Comfort in Supine Position
Durchgängige Behandlung von Fehlern in Embedded-Systemen bei der MAN Nutzfahrzeuge AG
Optimization of Hub-Spoken Topology Based on Dependable Margin Motion Coefficient
Gruppenmitgliedschaft für sicherheitskritische Anwendungen (Safety/Security)
IEED system: a new kind of automotive electrical system
Engineering large-scale agent-based systems with consensus
Day-ahead tariffs for the alleviation of distribution grid congestion from electric vehicles
Methodische Entwicklung und Leistungsanalyse der Steuergerätevernetzung im Automobil
Methodische Entwicklung und Leistungsanalyse der Steuergerätevernetzung im Automobil
Modellbasierte Software-Entwicklung für verteilte Echtzeitsysteme im Kraftfahrzeug
Modellbasierte Software-Entwicklung für verteilte Echtzeitsysteme im Kraftfahrzeug
Entwurf von verteilten fehlertoleranten Elektronikarchitekturen in Kraftfahrzeugen
Modelling and simulation of Integrated Modular Avionics systems
An approach to the pervasive formal specification and verification of an automotive system