Merkliste 
 1 Ergebnisse 
 
1

Safety analysis generation from prototyping models for tran..:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,
Godot, Jean ; Saudrais, Sebastien ; Alif, Adil.. - p. 1777-1779 , 2016