Allocating railway platforms using a genetic algorithm
AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration
A safety critical computer system in a railway application
A topological model based on railway capacity to manage periodic train scheduling
Defence standard 00-56 issue 4: Towards evidence-based safety standards
Dependable risk analysis for systems with E/E/PE components: Two case studies
Design of Natural Gas Pipeline Inspection System Based on Smart Phone
Domain dependent distributed models for railway scheduling
Information management for unmanned systems: Combining DL-reasoning with publish/subscribe