Design of Natural Gas Pipeline Inspection System Based on Smart Phone
Defence standard 00-56 issue 4: Towards evidence-based safety standards
GPS-Based On-Board Road Test System for Automotive ABS Evaluation and Calibration
Analyze the Superiority of HEV Based on Systems Science
Safety case development as an information modelling problem
Allocating railway platforms using a genetic algorithm
Software testing and IEC 61508 - project case study and further thoughts
Information management for unmanned systems: Combining DL-reasoning with publish/subscribe
Towards a unified approach to safety and security in automotive systems
AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration
Dependable risk analysis for systems with E/E/PE components: Two case studies
An extended hyperbola model for road tracking for video-based personal navigation
Safety case development. How can I continue the work?
Domain dependent distributed models for railway scheduling
A topological model based on railway capacity to manage periodic train scheduling
WISE expert: An expert system for monitoring ship cargo handling