Search for persons
X
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
7
SMT-Based Model Checking of Industrial Simulink Models:
, In:
?
2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS) ,
9
Coverage Testing of Industrial Simulink Models using Monte-..:
, In:
?
Communications in Computer and Information Science; Computational Linguistics ,
15