Search for persons
X
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
9
SMT-Based Model Checking of Industrial Simulink Models:
, In:
?
2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS) ,
11