Nghiên cứu về đặc tả và kiểm chứng ràng buộc thời gian giữa các thành phần trong chương trình tương tranh : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
47 tr. + CD-ROM + tóm tắt
Saved in:
Main Author: | Phạm, Thanh Hải |
---|---|
Other Authors: | Nguyễn, Việt Hà, người hướng dẫn |
Format: | Theses and Dissertations |
Language: | Vietnamese |
Published: |
ĐHCN
2017
|
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/43015 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | Vietnamese |
Similar Items
-
Nghiên cứu về đặc tả và kiểm chứng ràng buộc thời gian giữa các thành phần trong chương trình tương tranh
by: Phạm, Thanh Hải
Published: (2016) -
Kiểm chứng một số ràng buộc trong chương trình Java sử dụng AOP : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
by: Lê, Ngọc Minh
Published: (2017) -
Kiểm chứng dịch vụ Web với logic thời gian
by: Đào, Thị Hường
Published: (2017) -
Kiểm chứng sự tuân thủ giữa đặc tả điều khiển truy cập và cài đặt : Luận văn ThS. Công nghệ thông tin: 60 48 10
by: Nguyễn, Hồng Phong
Published: (2017) -
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
by: Phạm, Văn Tuấn
Published: (2017)