Z. Slavik
发表
Wolfgang Rosenstiel,
Alexander Viehl,
Oliver Bringmann,
2016,
2016 12th IEEE International Symposium on Electronics and Telecommunications (ISETC).
Martijn Rooker,
Joshué Pérez,
Pablo Horstrand,
2019,
Validation and Verification of Automated Systems.