A Methodology for Model-based Development and Safety Analysis of Transport Systems.

Simon Hordvik Kristoffer Øseth Jan Olaf Blech Peter Herrmann

Published in: ENASE (2016)

Keyphrases

safety analysis
transport systems
safety critical
software engineering
support systems
mobile robot
low cost
knowledge acquisition
path planning
formal specification