NEWS
New Feature!!!! University Subject Rankings in 12 branches
FOR SCIENTIST REGISTRATION FOR INSTITUTIONAL BULK REGISTRATION
FOR EDIT YOUR UNIVERSITY / INSTITUTION PAGE
Some differences of the AD Scientific Index
New Feature!!!! University Subject Rankings in 12 branches
List without CERN, Statistical Data etc. Only in AD Scientific Index
New Feature!!!! University Subject Rankings in 12 branches
AD
Scientific Index 2024
About Us
Methodology
Compare & Choose
Contact - FAQ
login
Login
person_add
Register
insights
i10 Productivity Rankings
format_list_numbered
Citation Rankings
school
University Rankings
subject
University Subject Rankings
insights
Subject Rankings
place
Country Rankings
format_list_numbered
Top 100 Scientists
format_quote
Top 100 Institutions
local_fire_department
Country Top Lists
Pham Ngoc Hung
Vietnam National University Hanoi - / Vietnam
Others
AD Scientific Index ID: 5105576
Edit Form
Registration, Add Profile,
Premium Membership
Ranking &
Analysis
Job
Experiences (0)
Education
Information (0)
Published Books (0)
Book Chapters (0)
Articles (0)
Presentations (0)
Lessons (0)
Projects (0)
Congresses (0)
Editorship, Referee &
Scientific Board (0 )
Patents /
Designs (0)
Academic Grants
& Awards (0)
Artistic
Activities (0)
Certificate / Course
/ Trainings (0)
Association &
Society Memberships (0)
Contact, Office
& Social Media
person_outline
Pham Ngoc Hung's MOST POPULAR ARTICLES
1-)
Modular conformance testing and assume-guarantee verification for evolving component-based softwareNH Pham, T Aoki, T KatayamaIEICE transactions on fundamentals of electronics, communications and …, 2009182009
2-)
Improvements of directed automated random testing in test data generation for c++ projectsDA Nguyen, TN Huong, HV Dinh, PN HungInternational Journal of Software Engineering and Knowledge Engineering 29 …, 2019132019
3-)
A method for automated test data generation from sequence diagrams and object constraint languageTD Vu, PN Hung, VH NguyenProceedings of the 6th International Symposium on Information and …, 2015122015
4-)
An assume-guarantee model checker for component-based systemsD Hoang-Minh, T Le-Khanh, PN HungThe 2013 RIVF International Conference on Computing & Communication …, 2013112013
5-)
A minimized assumption generation method for component-based software verificationP Ngoc Hung, T Aoki, T KatayamaTheoretical Aspects of Computing-ICTAC 2009: 6th International Colloquium …, 2009102009
ARTICLES
Add your articles
We use cookies to personalize our website and offer you a better experience. If you accept cookies, we can offer you special services.
Cookie Policy
Accept