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
Gruppenmitgliedschaft für sicherheitskritische Anwendungen (Safety/Security)
Engineering large-scale agent-based systems with consensus
Optimization of Hub-Spoken Topology Based on Dependable Margin Motion Coefficient
Modellbasierte Software-Entwicklung für verteilte Echtzeitsysteme im Kraftfahrzeug
Modellbasierte Software-Entwicklung für verteilte Echtzeitsysteme im Kraftfahrzeug
Modelling and simulation of Integrated Modular Avionics systems
An approach to the pervasive formal specification and verification of an automotive system
Research on the Computer-Aided System of the Logistics Distribution in the Urban Rail Transit