Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat

由 Nguyễn, Văn Trãi
出版 2017

Nghiên cứu đề xuất các mô hình, giải pháp công nghệ khai thác nguồn nước karst phục vụ cấp nước sinh hoạt cho cư dân khu vực huyện Đồng Văn, tỉnh Hà Giang trong bối cảnh biến đổi k...

由 Nguyễn, Văn Trãi
出版 2017