Đang tải... (xem toàn văn)
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, 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, Chương 2 Cơ sở kiểm chứng mô hình, 2 Ngôn ngữ Promela và Spin, 3 Giới thiệu về hệ thống thời gian thực, 4 Kiểm tra tính rỗng, 5 Otomat thời gian xác định, 6 Ví dụ về kiểm chứng, Chương 4 Tích hợp thời gian với Spin, 2 Mở rộng Spin và Promela với thời gian thực, 3 Mở rộng Spin và Promela với thời gian rời rạc, Chương 5 Thực nghiệm Spin với hệ thống thời gian thực, 1 Thực nghiệm kiểm chứng giao thức truyền và nhận thông báo song song, 2 Thực nghiệm kiểm chứng giao thức hệ thống Sapi, 1 Thực nghiệm kiểm chứng Train-Gate-Controller