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
To Intervene or not to Intervene: The Dilemma of Management by Exception