Tóm tắt Luận án Tiến sĩ: Kiểm chứng hình thức các hệ thống thời gian thực hướng thành phần bằng kĩ thuật Model-Checking

Định dạng: PDF / Số trang: 27

Nhắn tin với admin nếu không tải được