"Enabling Model Testing of Cyber-Physical Systems."

Carlos A. González et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics