Safety Argumentation for Machinery Assembly Control Software.

Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Peter Backeman

Browse the full SAFECOMP paper archive.