Allocating railway platforms using a genetic algorithm
AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration
Analyze the Superiority of HEV Based on Systems Science
A new FE modelling approach to spot welding joints of automotive panels and modal characteristics
An extended hyperbola model for road tracking for video-based personal navigation
An Overview on System-Identification Problems in Vehicle Chassis Control
A safety critical computer system in a railway application
A topological model based on railway capacity to manage periodic train scheduling
Autonomous Intelligent Vehicles. Theory, Algorithms, and Implementation - Introduction
Common law safety case approaches to safety critical systems assurance
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
Dynamic Simulations of Free-Floating Space Robots
Formation Flight Control Scheme for Unmanned Aerial Vehicles