1. Trang chủ
  2. » Luận Văn - Báo Cáo

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 676 0

Đang tải... (xem toàn văn)

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

Thông tin cơ bản

Định dạng
Số trang 73
Dung lượng 1,05 MB

Nội dung

Ngày đăng: 25/03/2015, 09:46

Xem thêm

TỪ KHÓA LIÊN QUAN

TRÍCH ĐOẠN

Ngôn ngữ thời gian Bảng chuyển trạng thái với các ràng buộc thời gian

Các bảng chuyển trạng thái thời gian

Ngôn ngữ hình thức thời gian

Các tính chất của ngôn ngữ hình thức thời gian Otomat miền Cấu trúc không thời gian Định nghĩa

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w