Search for persons
X
?
Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science ,
2
Integrating Distributed Component-Based Systems Through Dee..:
, In:
?
?
Model Checking Software; Lecture Notes in Computer Science ,
5
Accelerating Black Box Testing with Light-Weight Learning:
, In:
?
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ,
7