Jean Godot, Sébastien Saudrais, Adil Alif, Bertrand Barbedette, Chérif Larouci. Safety analysis generation from prototyping models for transportation systems. In Sascha Ossowski, editor, Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. pages 1777-1779, ACM, 2016. [doi]
Abstract is missing.