Dependable risk analysis for systems with E/E/PE components: Two case studies
Defence standard 00-56 issue 4: Towards evidence-based safety standards
Common law safety case approaches to safety critical systems assurance
Autonomous Intelligent Vehicles. Theory, Algorithms, and Implementation - Introduction
A topological model based on railway capacity to manage periodic train scheduling
A safety critical computer system in a railway application
An Overview on System-Identification Problems in Vehicle Chassis Control
An extended hyperbola model for road tracking for video-based personal navigation
A new FE modelling approach to spot welding joints of automotive panels and modal characteristics
Analyze the Superiority of HEV Based on Systems Science
AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration
Allocating railway platforms using a genetic algorithm