Merkliste 
 1 Ergebnisse 
 
1

Passive testing of production systems based on model infere..:

, In: 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE),
Durand, William ; Salva, Sebastien - p. 138-147 , 2015