Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software TATK P. N. Hung EICE Trans. on Fundamentals, Special Issue on Theory of Concurrent Systems …, 2009 | 18 | 2009 |
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software TK P. N. Hung the 15th Asia-Pacific Software Engineering Conference (APSEC), 479-486, 0 | 18* | |
An Assume-Guarantee Model Checker for Component-Based Systems KTLPNH Minh-Duong Hoang 10th IEEE-RIVF International Conference on Computing and Communication …, 2013 | 10* | 2013 |
A Minimized Assumption Generation Method for Component-Based Software Verification TATK P. N. Hung 6th International Colloquium on Theoretical Aspects of Computing, 277–291, 2009 | 10* | 2009 |
An Improvement of Minimized Assumption Generation Method for Component-based Software Verification TATK P. N. Hung, N. V. Ha the 9th IEEE-RIVF International Conference on Computing and Communication …, 2012 | 8* | 2012 |
Nghiên cứu ứng dụng kỹ thuật nội soi niệu quản ngược dòng điều trị sỏi thận bằng ống soi mềm PN Hùng Luận án tiến sĩ y học, Học Viện Quân Y, 2018 | 7 | 2018 |
On Optimization of Minimized Assumption Generation Method for Component-based Software Verification TATK P. N. Hung, N. V. Ha IEICE Trans. on Fundamentals, Special Issue on Software Reliability …, 2012 | 7* | 2012 |
An Effective Framework for Assume-Guarantee Verification of Evolving Component-Based Software TATK P. N. Hung he Joint international and Annual ERCIM Workshops on Principles of Software …, 2009 | 5 | 2009 |
Giáo trình kiểm thử phần mềm PN Hùng, TA Hoàng, ĐV Hưng | 4 | 2023 |
A Minimized Assumption Generation Method for Component-Based Software Verification TATK P. N. Hung, N. V. Ha IEICE Trans. on Information and Systems 93 (8), 2172-2181, 2010 | 4 | 2010 |
An Efficient Method for Automated Generating Models of Component-based Software QTNPNH Hoang-Viet Tran, Chi-Luan Le 6th International Conf. on Knowledge and Systems Engineering, 499-511, 2014 | 2* | 2014 |
Ảnh hưởng nhiệt độ và oxy hòa tan lên độc tính Basudin 50EC ở cá lóc (Channa striata BLOCH 1793) NV Công, TS Nam, PNT Hùng, NT Phương Tạp chí Khoa học Trường Đại học Cần Thơ, 1-12, 2006 | 2 | 2006 |
Đánh giá kết quả điều trị sỏi đài thận dưới đơn thuần≤ 2 cm bằng nội soi niệu quản ngược dòng ống mềm tán sỏi thận tại Bệnh Viện Trung Ương Huế PN Hùng, PHQ Việt, TV Cẩn, NK Tuấn, NVQ Anh, TM Tuấn, HV Thắng, ... Y học lâm sàng Bệnh Viện Trung Ương Huế, 12-17, 2023 | 1 | 2023 |
Thu hẹp không gian tìm kiếm lời giải trong các hệ lập luận dựa trên luật sử dụng phương pháp lập luận theo tình huống NV Hà, PN Hùng Đại học Công nghệ, Đại học Quốc gia Hà nội, 2005 | 1 | 2005 |
Case-Based Reasoning và khả năng tiếp cận bằng logic vị từ VH Nguyễn, NH Phạm, SĐ Hồ, VVA Trần VNU Journal of Science: Natural Sciences and Technology 20 (4), 2004 | 1 | 2004 |
ĐÁNH GIÁ MỘT SỐ ĐẶC ĐIỂM TÁI PHÁT CỦA BỆNH NHÂN SAU CẮT GAN ĐIỀU TRỊ UNG THƯ TẾ BÀO GAN PN Hùng, TCD Long Tạp chí Y học Việt Nam 538 (3), 2024 | | 2024 |
ĐÁNH GIÁ MỘT SỐ YẾU TỐ LIÊN QUAN ĐẾN TÁI PHÁT SỚM SAU PHẪU THUẬT CẮT GAN ĐIỀU TRỊ UNG THƯ TẾ BÀO GAN PN Hùng, TCD Long Tạp chí Y học Việt Nam 538 (3), 2024 | | 2024 |
Tình trạng đáp ứng kháng thể IgG kháng SARS-CoV-2 và một số yếu tố liên quan trên quần thể công nhân nhà máy Poyun, tỉnh Hải Dương, năm 2021 PT Dân, NC Thạch, NLK Hằng, HVM Phương, NC Khanh, PN Hùng Tạp chí Y học Dự phòng 33 (3 Phụ bản), 145-153, 2023 | | 2023 |
Giáo trình Kiểm thử phần mềm: Phần 1 NH Phạm, AH Trương, VH Đặng | | 2022 |
Nghiên cứu ứng dụng toán đồ Croes trong tiên đoán khả năng thành công của mini-PCNL tư thế nằm nghiêng= Croes nomogram to predict treatment success of PCNL on patients in … VC Trương, NH Phạm, VQA Nguyễn, TV Phan, VH Lê, HQV Phan, ... | | 2022 |