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
Engineering large-scale agent-based systems with consensus
Optimization of Hub-Spoken Topology Based on Dependable Margin Motion Coefficient
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
Modelling and simulation of Integrated Modular Avionics systems
Vom modellbasierten Architekturentwurf über die Simulation verteilter Systeme zum Serienprojekt
Research on the Computer-Aided System of the Logistics Distribution in the Urban Rail Transit
Space station Freedom operations management system
Implementing logical synchrony in integrated modular avionics
Optimal allocation, sizing of PHEV parking lots in distribution system
Vehicle-to-vehicle communications: Reception and interference of safety-critical messages
Leistungsbewertung eines prioritätsgesteuerten Realzeit-Kommunikationssystems