Merkliste 
 1 Ergebnisse 
 
1

Towards a generic verification methodology for system model:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,
Wille, Robert ; Gogolla, Martin ; Soeken, Mathias.. - p. 1193-1196 , 2013