Đang tải... (xem toàn văn)
Kiểm chứng các tính chất thời gian thực cho hệ thống đồng thời bằng RT-SPIN
73
675
0
Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
Thông tin tài liệu
Ngày đăng: 25/03/2015, 09:46
Xem thêm: Kiểm chứng các tính chất thời gian thực cho hệ thống đồng thời bằng RT-SPIN
Từ khóa liên quan
Mục lục
Danh mục bảng biểu
Danh mục hình vẽ
Danh mục ký hiệu, từ viết tắt
Chương 2 Cơ sở kiểm chứng mô hình
2.1 Kiểm chứng dựa trên mô hình
2.1.2 Các bước thực hiện
2.2 Ngôn ngữ Promela và Spin
2.3 Giới thiệu về hệ thống thời gian thực
2.3.2 Đặc điểm của hệ thống thời gian thực
2.3.3 Cấu tạo hệ thời gian thực
Trích đoạn
Tài liệu cùng người dùng
Tài liệu liên quan