Requirements management in practice: Findings from an empirical study in the automotive industry
The use of network theory to model disparate ship design information
A multi-agent architecture for supporting distributed normality-based intelligent surveillance
Formal correctness of an automotive bus controller implementation at gate-level
Distributed simulation platform to design advanced RFID based freight transportation systems
Towards Coordinated Multirobot Missions for Lunar Sample Collection in an Unknown Environment
Optimization of Hub-Spoken Topology Based on Dependable Margin Motion Coefficient
Engineering large-scale agent-based systems with consensus
An approach to the pervasive formal specification and verification of an automotive system
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
Optimising advanced container handling technologies via distributed simulation/emulation