33 results on '"Tran, Hoang Viet"'
Search Results
2. Trends in minimally invasive and open inguinal hernia repair: an analysis of ACGME general surgery case logs
3. Simultaneous Free Flap Breast Reconstruction Combined With Contralateral Mastopexy or Breast Reduction
4. Laparoscopic treatment of appendiceal peritonitis without drainage in children—A prospective randomized clinical trial
5. Recurrent early-stage squamous cell carcinoma cervical cancer presenting with isolated ovary metastasis: a rare case report
6. Planar phased array based on stripline-fed antenna with a parallel feeding network
7. Art: An Efficient Framework for Automated Regression Testing for C/C++ Projects
8. A Pairwise Based Method for Automated Test Data Generation for $\mathrm{C}/\mathrm{C}++$ Projects
9. A Method for Automated Test Data Generation for Units using Classes of Qt Framework in C++ Projects
10. An Automated Program Repair Method Using Atomic Replacement for Java Programs
11. Using simulation-based inference to determine the parameters of an integrated hydrologic model: a case study from the upper Colorado River basin
12. An Automated Stub Method for Unit Testing C/C++ Projects
13. An Improved Method of The Static Directed Automated Random Testing Method in Test Data Generation for C/C++ Projects
14. An Automated Test Data Generation Method for Templates of C++ Projects
15. On Implementation of the Assumption Generation Method for Component-Based Software Verification
16. An automated test data generation method for void pointers and function pointers in C/C++ libraries and embedded projects
17. An Efficient Method for Automated Regression Test Data Generation for C/C++ Projects
18. A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software
19. An Efficient Method for Automated Generating Models of Component-Based Software
20. An Adaptive Hierarchical Sliding Mode Controller for Autonomous Underwater Vehicles
21. Adaptive Dynamic Programming based Control Scheme for Uncertain Two-Wheel Robots
22. An Efficient Approach for SIMO Systems using Adaptive Fuzzy Hierarchical Sliding Mode Control
23. Improved Heuristics for Online Node and Link Mapping Problem in Network Virtualization
24. A Real-Time Rendering Technique for View-Dependent Stereoscopy Based on Face Tracking
25. Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary Values
26. A framework for assume-guarantee regression verification of evolving software
27. An UWB horrizontally polarized omnidiectional antenna array with a series power divider
28. On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification
29. On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems
30. On Locally Strongest Assumption Generation Method for Component-Based Software Verification
31. On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software
32. FACTORS AFFECTING SEGMENT REPORTING OF LISTED COMPANIES: EVIDENCE FROM LISTED COMPANIES ON HOSE
33. The rational asset pricing model in Vietnam
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.