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
Saved in:
| Main Author: | |
|---|---|
| Format: | Theses and Dissertations |
| Language: | other |
| Published: |
Đại học Quốc gia Hà Nội
2016
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/7332 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | other |
| id |
oai:112.137.131.14:VNU_123-7332 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-73322016-04-07T20:03:11Z 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 Specifying and Verifying of Timing Constraints in concurent Java components Phạm, Thanh Hải Kỹ thuật phần mềm Kiểm chứng phần mềm Chương trình tương tranh 2016-04-07T08:59:32Z 2016-04-07T08:59:32Z 2015 Thesis 47 tr. http://repository.vnu.edu.vn/handle/VNU_123/7332 other application/pdf Đại học Quốc gia Hà Nội |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
other |
| topic |
Kỹ thuật phần mềm Kiểm chứng phần mềm Chương trình tương tranh |
| spellingShingle |
Kỹ thuật phần mềm Kiểm chứng phần mềm Chương trình tương tranh Phạm, Thanh Hải 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 |
| format |
Theses and Dissertations |
| author |
Phạm, Thanh Hải |
| author_facet |
Phạm, Thanh Hải |
| author_sort |
Phạm, Thanh Hải |
| title |
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 |
| title_short |
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 |
| title_full |
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 |
| title_fullStr |
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 |
| title_full_unstemmed |
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 |
| title_sort |
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 |
| publisher |
Đại học Quốc gia Hà Nội |
| publishDate |
2016 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/7332 |
| _version_ |
1680964654077050880 |