Một số phương pháp kiểm chứng tính đúng đắn của hệ thời gian thực bằng thuật toán /
Trình bày phương pháp sử dụng qui hoạch tuyến tính để phục vụ kiểm chứng, trong đó hệ thống được biểu diễn bởi biểu thức chính quy theo thời gian và đưa ra thuật toán kiểm chứng dựa trên lớp các biểu thức chính quy mở rộng. Luận án chỉ ra những ưu điểm và mặt hạn chế của phương pháp qui hoạch tuyến...
Lưu vào:
| Tác giả chính: | |
|---|---|
| Đồng tác giả: | , |
| Định dạng: | Sách |
| Ngôn ngữ: | English Vietnamese |
| Xuất bản : |
H. :
ĐHCN,
2005
|
| Chủ đề: | |
| Thẻ: |
Thêm từ khóa
Không có thẻ nào, Hãy là người đầu tiên đánh dấu biểu ghi này!
|