A Knowledge-Based Autonomous Vehicle System for Emergency Management Support
Applying the B-Method to Avionics Software: An Initial Report on the MIST Project
Safety and Security Requirements for an Advanced Train Control System
Simulation of the Stagnation Region Microcrack Growth During Space Shuttle Reentry
Emergency Evacuation Simulation of Urban Railway Station Based on EXODUS Software