Đăng nhập

Hãy chọn một cách để đăng nhập

Facebook Google Zalo

Hoặc tiếp tục với email

Nhớ mật khẩu

Chưa có tài khoản? Đăng ký

Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal

63 5 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

1 / 63 trang

THÔNG TIN TÀI LIỆU

Ngày đăng: 20/07/2021, 11:32

Xem thêm:

TÀI LIỆU CÙNG NGƯỜI DÙNG

Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal

63 15 0
Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal

63 10 0
Nghiên cứu và vận dụng kỹ thuật hướng mô hình cho đặc tả và kiểm chứng chính sách bảo mật

79 4 0
Nghiên cứu về đặc tả và kiểm chứng ràng buộc thời gian giữa các thành phần trong chương trình tương tranh

57 6 0
Nghiên cứu và vận dụng kỹ thuật hướng mô hình cho đặc tả và kiểm chứng chính sách bảo mật

79 5 0
Nghiên cứu và vận dụng kỹ thuật hướng mô hình cho đặc tả và kiểm chứng chính sách bảo mật

79 5 0

TÀI LIỆU LIÊN QUAN