Merkliste 
 1 Ergebnisse 
 
1

Towards a model-based verification methodology for complex ..:

, In: 2016 Sixth International Symposium on Embedded Computing and System Design / publisher: IEEE
Gomes Filho, Jonas ; Przigoda, Nils ; Wille, Robert.. (2016)  - p. 18-23