Dynamic Simulations of Free-Floating Space Robots
Design of Natural Gas Pipeline Inspection System Based on Smart Phone
Defence standard 00-56 issue 4: Towards evidence-based safety standards
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