( en | de | ru )

 

Disambiguation of "Nguyen, Thanh-Hung"

Author of the publication

copydeleteadd this publication to your clipboard
Component-based verification using incremental design and invariants.

, , , , , and . Softw. Syst. Model., 15 (2): 427-451 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thanh-Hung Nguyen

Nguyen Thanh-Hung

Thanh-Hung Nguyen

Thanh-Hung Nguyen

Thanh Hung Nguyen

 

Other publications of authors with the same name

A Method for Improvement the Parameter Estimation of Non-linear Regression in Growth Model to Predict Project Cost at Completion., , , , and . RIVF, page 1-6. IEEE, (2020)Automated Test Input Generation via Model Inference Based on User Story and Acceptance Criteria for Mobile Application Development., , , and . Int. J. Softw. Eng. Knowl. Eng., 30 (3): 399-425 (2020)A Controller for Delta Parallel Robot Based on Hedge Algebras Method., , and . J. Robotics, (2023)ICT Integration in Developing Competence for Pre- Service Mathematics Teachers: A Case Study from Six Universities in Vietnam., , , and . Int. J. Emerg. Technol. Learn., 15 (14): 19-34 (2020)IncepSE: Leveraging InceptionTime's performance with Squeeze and Excitation mechanism in ECG analysis., , , , and . CoRR, (2023)A Lightweight and Efficient GA-Based Model-Agnostic Feature Selection Scheme for Time Series Forecasting., , , , , and . ACIIDS (2), volume 13758 of Lecture Notes in Computer Science, page 26-39. Springer, (2022)CADIS: Handling Cluster-skewed Non-IID Data in Federated Learning with Clustered Aggregation and Knowledge DIStilled Regularization., , , , , , and . CCGrid, page 249-261. IEEE, (2023)Joint Optimization of Charging Location and Time for Network Lifetime Extension in WRSNs., , , , and . IEEE Trans. Green Commun. Netw., 6 (2): 1186-1197 (2022)Combinations of Boolean Gröbner Bases and SAT Solvers.. University of Kaiserslautern, (2014)Safe Incremental Design of UML Architectures., , and . SEKE, page 473-476. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2017)