Toward a Model for Verification of Business Logic Layer in 3-Layer Architecture: CPN-ECA Model HTTH Nguyen Thanh Tuan, Le Thanh Nhan 2019 11th International Conference on Knowledge and Systems Engineering (KSE), 2019 | 4 | 2019 |
Formalization of Business Processes and Business Rules Model using Colored Petri Nets NT Tuan, LT Nhan, HTT Ha ICFNDS 2021: The 5th International Conference on Future Networks …, 2021 | | 2021 |
Sử dụng tính phân cấp để giảm độ phức tạp trong mô h́nh hóa hệ thống sử dụng mạng Petri màu TT Nguyễn, TN Lê, TTH Hoàng Nhà xuất bản Đà Nẵng, 2020 | | 2020 |
Xây dựng ontology cho hệ thống truy vấn dữ liệu tùy chọn T Nguyễn Thanh, H Hoàng Thị Thanh Tạp chí Khoa học Công nghệ Đại học Đà Nẵng 120, 133, 2017 | | 2017 |
Nghiên cứu và xây dựng hệ thống truy vấn dữ liệu tùy chọn dựa trên ngữ nghĩa của câu truy vấn NVT Nguyễn Thanh Tuấn, Lê Thành Nhân, Hoàng Thị Thanh Hà Kỷ yếu hội nghị khoa học công nghệ quốc gia lần thứ IX: Nghiên cứu cơ bản và …, 2016 | | 2016 |
Mô h́nh hệ thống đa tác tử để mô phỏng giao thông đô thị LQV Nguyễn Thanh Tuấn, Hoàng Thị Thanh Hà Journal of Science and Technology of The University of DaNang/Tạp chí Khoa …, 2014 | | 2014 |