Nghiên cứu và ứng dụng kiểm chứng mô hình cho các hệ thống phát triển trên môi trường Lustre/SCADE

Please use this identifier to cite or link to this item: http://tailieuso.udn.vn/handle/TTHL_125/5172

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Nguyễn, Thanh Bình	-
dc.contributor.author	Nguyễn, Văn Định	-
dc.date.accessioned	2014-01-17T08:10:59Z	-
dc.date.available	2014-01-17T08:10:59Z	-
dc.date.issued	2013	-
dc.date.submitted	2013-11-26	-
dc.identifier.uri	http://tailieuso.udn.vn/handle/TTHL_125/5172	-
dc.language.iso	vi	vi
dc.source	Đại học Bách khoa - Đại học Đà Nẵng	vi
dc.subject	Kiểm chứng mô hình phần mềm	vi
dc.subject	Ngôn ngữ đồng bộ Lustre/SCADE	vi
dc.title	Nghiên cứu và ứng dụng kiểm chứng mô hình cho các hệ thống phát triển trên môi trường Lustre/SCADE	vi
dc.type	Thesis	vi
Appears in Collections:	Khoa học máy tính

Files in This Item:

File	Description	Size	Format
Tomtat.pdf	Tóm tắt	453.52 kB	Adobe PDF	View/Open
Toanvan.104.pdf	Toàn văn	2.26 MB	Adobe PDF	View/Open Request a copy