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
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
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Vietnamese |
| Published: |
ĐHCN
2017
|
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/43250 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | Vietnamese |
| id |
oai:112.137.131.14:VNU_123-43250 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-432502018-08-07T03:07:41Z 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 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 2017-05-17T08:20:20Z 2017-05-17T08:20:20Z 2014 00050004127 http://repository.vnu.edu.vn/handle/VNU_123/43250 vi Luận văn Ngành Công nghệ thông tin (Full) 62 tr. + CD-ROM application/pdf ĐHCN |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
Vietnamese |
| description |
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 |
| author2 |
Phạm, Hồng Thái |
| author_facet |
Phạm, Hồng Thái Phạm, Văn Tuấn |
| author |
Phạm, Văn Tuấn |
| spellingShingle |
Phạm, Văn Tuấn 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 |
| author_sort |
Phạm, Văn Tuấn |
| title |
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 |
| title_short |
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 |
| title_full |
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 |
| title_fullStr |
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 |
| title_full_unstemmed |
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 |
| title_sort |
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 |
| publisher |
ĐHCN |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/43250 |
| _version_ |
1680967089738743808 |