[IMG] Kiểm Chứng Tự Động Các Hệ Thời Gian Thực Xác Suất Trong những năm gần đây, đã có nhiều nghiên cứu về các phương pháp kiểm chứng mô hình...
[IMG] Nghiên Cứu Và Xây Dựng Giải Pháp Bảo Mật Và Xác Thực Thư Điện Tử Dựa Trên Công Nghệ Mở Trong thời gian gần đây, thư điện tử đã trở thành...
[IMG] Theo Dõi Đối Tượng Dựa Trên Giải Thuật Di Truyền Và Tối Ưu Hóa Bầy Đàn Trong thập niên đầu của thế kỷ 21, học máy được nghiên cứu và phát...
[IMG] Xây Dựng Dịch Vụ Bản Đồ Trực Tuyến Tuân Theo Chuẩn WMS Dựa Trên QGIS Server Và Openlayer Công nghệ thông tin là một ngành khoa học đang...
[IMG] Phát Hiện Ngã Sử Dụng Đặc Trưng Chuyển Động Và Hình Dạng Cơ Thể Dựa Trên Camera Đơn Theo dự báo về vấn đề dân số của Liên hợp quốc năm...
[IMG] Phương Pháp Sinh Dữ Liệu Kiểm Thử Tự Động Từ Biểu Đồ Tuần Tự UML, Biểu Đồ Lớp Và Ràng Buộc OCL Công nghệ phần mềm đang ngày càng phát triển...
[IMG] Phát Triển Các Kỹ Thuật Tìm Bất Biến (Invariants) Và Biến (Variants) Cho Việc Sử Dụng Hoare Logic Để Chứng Minh Tính Đúng Đắn Của Chu Trình...
[IMG] Phương Pháp Tính Toán Khoảng Giải Các Ràng Buộc Không Tuyến Tính Với sự phát triển của công nghệ thông tin các sản phẩm phần mềm được xây...
[IMG] Phương Pháp Chuyển Đổi Qua Lại Giữa Các Đặc Tả Hình Thức Cho Các Hệ Chuyển Trạng Thái Các hệ thống phần mềm đang trở nên phức tạp và cung...
[IMG] Kiểm Chứng Giao Diện Phần Mềm Bằng Phương Pháp Mô Hình Hóa Event - B Ngày nay phần mềm có mặt trong hầu hết các lĩnh vực: Giáo dục,...
[IMG] Nghiên Cứu Và Xây Dựng Qui Trình Chuẩn Hóa Dữ Liệu Quan Trắc Môi Trường Ở Việt Nam Vấn đề đảm bảo vệ sinh môi trường đang là vấn đề được...
[IMG] Robot Vẽ Bản Đồ Địa Hình Bài toán lập bản đồ là một trong những vấn đề được nghiên cứu chủ yếu của ngành Robot học. Xét một robot đơn giản...
Separate names with a comma.
