Safety analysis generation from prototyping models for transportation systems.

Jean Godot, Sbastien Saudrais, Adil Alif, Bertrand Barbedette, Chrif Larouci

Browse the full SAC paper archive.