Merkliste 
 1 Ergebnisse 
 
1

UML Based Reverse Engineering for the Verification of Railw..:

, In: 2006 International Conference on Dependability of Computer Systems,