Search for persons
X
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
5
SMT-Based Model Checking of Industrial Simulink Models:
, In:
?
2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS) ,
6
Coverage Testing of Industrial Simulink Models using Monte-..:
, In:
?
Proceedings of the 4th Symposium on Information and Communication Technology ,
10
Constructing test cases for n-wise testing from tree-based ..:
, In:
?
2020 IEEE International Conference on Plasma Science (ICOPS) ,
14