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
Dependable risk analysis for systems with E/E/PE components: Two case studies
AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration
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
Dynamic Airline Fleet Assignment and Integrated Modeling
A Revenue Management Slot Allocation Model with Prioritization for the Liner Shipping Industry
An Integrated Vehicle-Crew-Roster Problem with Days-Off Pattern
Further Steps Towards Quantitative Conceptual Aircraft Design