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
Evaluation of Occurrence Frequencies of Marine Accidents by Event Tree Analysis
Development of a Road Transportation Risks Data Base for Italy: Methodology, Models and Results
Launch Vehicle Development Risk Projection Methodology
Commercial Accidents-an assessment of four leading tanker companies
Safety Functions in Railways — a Structural Analysis of Safety Rules
Reliability Prediction in Railway Signalling
Atmosphere Re-entry Management of BeppoSAX satellite
Commission Error Causes Identified from Operating Experience