Search for persons
X
?
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) ,
6
Passive testing of production systems based on model infere..:
, In:
?
Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems ,
7