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
A Neural Multi-Agent Architecture for an Autonomous Mobile Robot Control
Real Time Tactical Decision Support for a Maritime Aircraft
Development of a Road Transportation Risks Data Base for Italy: Methodology, Models and Results
Evaluation of Occurrence Frequencies of Marine Accidents by Event Tree Analysis
Commercial Accidents-an assessment of four leading tanker companies
Launch Vehicle Development Risk Projection Methodology
Reliability Prediction in Railway Signalling
Safety Functions in Railways — a Structural Analysis of Safety Rules
Safety Analysis of the Transrapid Transportation System: Methods and Case Study