A Knowledge-Based Autonomous Vehicle System for Emergency Management Support
Measuring the Benefits of Transport Safety
Applying the B-Method to Avionics Software: An Initial Report on the MIST Project
Safety and Security Requirements for an Advanced Train Control System
Real Time Tactical Decision Support for a Maritime Aircraft
Challenges of human space exploration
Integrales Logistikmanagement : Planung und Steuerung von umfassenden Geschäftsprozessen
Risk Analysis of Ship Navigation by Use of Cognitive Simulation