Trong chương này chúng tôi trình bày phương pháp kiểm chứng tính thỏa của lưới ôtômat thời gian thực hoạt động đồng bộ đối với công thức khoảng LDI, dựa trên việc giải các bài toán qui[r]
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
| Định dạng | |
|---|---|
| Số trang | 18 |
| Dung lượng | 856,67 KB |
Nội dung
Trong chương này chúng tôi trình bày phương pháp kiểm chứng tính thỏa của lưới ôtômat thời gian thực hoạt động đồng bộ đối với công thức khoảng LDI, dựa trên việc giải các bài toán qui[r]
Ngày đăng: 29/01/2021, 02:16
TỪ KHÓA LIÊN QUAN
TÀI LIỆU CÙNG NGƯỜI DÙNG
TÀI LIỆU LIÊN QUAN