loading

Phân tích, thiết kế và cài đặt kiểm chứng một hệ thời gian thực : Luận văn ThS. Công nghệ thông tin: 60 48 01 03 / Phạm, Văn Tuấn; Phạm, Hồng Thái

Tác giả : Phạm, Văn Tuấn; Phạm, Hồng Thái

Nhà xuất bản : ĐHCN

Năm xuất bản : 2014

Mô tả vật lý : 62 tr. + CD-ROM

Thông tin chi tiết

Tóm tắt :

Chương 1: Hệ thời gian thực và bài toán kiểm tra tính đúng đắn của hệ thời gian thực. Chương 2: Các công cụ đặc tả. Chương 3: Phân tích, thiết kế bộ công cụ kiểm chứng mô hình. Kết quả thực hiện chương trình

 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/43250