Ngo, The Quyen
579  results:
Search for persons X
?
 
?
7

SMT-Based Model Checking of Industrial Simulink Models:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,
Ishii, Daisuke ; Tomita, Takashi ; Aoki, Toshiaki... - p. 156-172 , 2022
 
?
9

Coverage Testing of Industrial Simulink Models using Monte-..:

, In: 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS),
Ishii, Daisuke ; Tomita, Takashi ; Aoki, Toshiaki... - p. 422-433 , 2022
 
?
12

The role of recovery housing during outpatient substance us..:

Mericle, Amy A. ; Slaymaker, Valerie ; Gliske, Kate..
Journal of Substance Abuse Treatment.  133 (2022)  - p. 108638 , 2022
 
?
 
?
15

Towards a UMLS-Integratable Vietnamese Medical Terminology:

, In: Communications in Computer and Information Science; Computational Linguistics,
 
1-15