Requirements management in practice: Findings from an empirical study in the automotive industry
A multi-agent architecture for supporting distributed normality-based intelligent surveillance
Formal correctness of an automotive bus controller implementation at gate-level
Towards Coordinated Multirobot Missions for Lunar Sample Collection in an Unknown Environment
Optimization of Hub-Spoken Topology Based on Dependable Margin Motion Coefficient
An approach to the pervasive formal specification and verification of an automotive system
Engineering large-scale agent-based systems with consensus
Modellbasierte Software-Entwicklung für verteilte Echtzeitsysteme im Kraftfahrzeug
Modellbasierte Software-Entwicklung für verteilte Echtzeitsysteme im Kraftfahrzeug
The distributed diagnosis system of vehicles based on TH-OSEK embedded platform
Modelling and simulation of Integrated Modular Avionics systems
Research on the Computer-Aided System of the Logistics Distribution in the Urban Rail Transit
Vom modellbasierten Architekturentwurf über die Simulation verteilter Systeme zum Serienprojekt