Merkliste 
 1 Ergebnisse 
 
1

Constructive model-based analysis for safety assessment:

Gomes, Adriano ; Mota, Alexandre ; Sampaio, Augusto..
International Journal on Software Tools for Technology Transfer.  14 (2012)  6 - p. 673-702 , 2012