Coordinated charging of plug-in hybrid electric vehicles in smart hybrid AC/DC distribution systems
A Distributed Simulator for Road Network Control
An observation tool to study air traffic control and flightdeck collaboration
Research Progress on Velocity Model of Iron Release in Water Supply Pipe
Analysis of Domestic Media Reported Burst Events on Water Distribution System in 2012
Formal correctness of an automotive bus controller implementation at gate-level
Distributed simulation platform to design advanced RFID based freight transportation systems
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
IEED system: a new kind of automotive electrical system
Optimization of Hub-Spoken Topology Based on Dependable Margin Motion Coefficient
Gruppenmitgliedschaft für sicherheitskritische Anwendungen (Safety/Security)
An approach to the pervasive formal specification and verification of an automotive system
The distributed diagnosis system of vehicles based on TH-OSEK embedded platform
Optimising advanced container handling technologies via distributed simulation/emulation
Modelling and simulation of Integrated Modular Avionics systems
A distributed architecture for delivering telematics services