Personensuche
X
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
6
SMT-Based Model Checking of Industrial Simulink Models:
, In:
?
2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS) ,
7
Coverage Testing of Industrial Simulink Models using Monte-..:
, In:
?
Proceedings of the Fourth 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) ,
15