loading
  • Trang chủ
  • Sách, tuyển tập
  • 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 : Luận văn ThS. Công nghệ thông tin: 60 48 10 / Nguyễn, Tài Tuấn; Nguyễn, Trường Thắng
Sách, tuyển tập

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 : Luận văn ThS. Công nghệ thông tin: 60 48 10 / Nguyễn, Tài Tuấn; Nguyễn, Trường Thắng

Tác giả : Nguyễn, Tài Tuấn; Nguyễn, Trường Thắng

Nhà xuất bản : Đại học Công nghệ

Năm xuất bản : 2013

Chủ đề : 1. Công nghệ phần mềm. 2. Công nghệ thông tin. 3. Kiểm chứng mô hình. 4. RT-SPIN. 5. Thời gian thực. 6. Thesis.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Tìm hiểu cơ sở lý thuyết cho kiểm chứng mô hình, một công nghệ tự động trong đó mô hình với tập trạng thái hữu hạn của hệ thống và một tính chất logical, hệ thống sẽ kiểm tra xem tính chất đó. Spin một công cụ kiểm chứng mô hình. Spin là công cụ nhằm phân (...)Electronic ResourcesLuận văn ThS. Công nghệ phần mềm -- Trường Đại học Công nghệ: 60 48 10. Đại học Quốc gia Hà Nội, 2013
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Đại học Công nghệ - ĐHQGHN
https://repository.vnu.edu.vn/handle/VNU_123/42001