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
Phụ đề
LATS Toán học: 1.01.10
Tác giả
Phạm Hồng Thái
Khu vực
Hà Nội
Nơi xuất bản
Đại học Quốc gia Hà Nội
Năm xuất bản
2005
Ngôn ngữ
Tiếng Việt
Từ khóa
Toán học, Thuật toán, Thời gian
Tóm tắt
Quan sát và thiết kế thuật toán kiểm chứng các tính chất thời khoảng theo ngữ nghĩa tổng quát của nó. Đó là lớp các hệ thống được biểu diễn bởi ôtômát thời gian và các tính chất khoảng được biểu diễn bởi các công thức trong logic khoảng như công thức khoả
Bánh xe lăn, phím mũi tên, PgUp, PgDn, Home, End để di chuyển trang. Phím +, ‒ trên bàn phím số để phóng to/thu nhỏ trang.