Safety analysis generation from prototyping models for transportation systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016
Fichier non déposé

Dates et versions

hal-04583634 , version 1 (22-05-2024)

Licence

Identifiants

Citer

Jean Godot, Sebastien Saudrais, Adil Alif, Bertrand Barbedette, Cherif Larouci. Safety analysis generation from prototyping models for transportation systems. SAC 2016: Symposium on Applied Computing, Apr 2016, Pisa Italy, Italy. pp.1777-1779, ⟨10.1145/2851613.2851906⟩. ⟨hal-04583634⟩
16 Consultations
0 Téléchargements

Altmetric

Partager

More