Automatic regression testing for Lustre/SCADE applications: Doctor of Philosophy in Computer science: 62.48.01.01/ Trinh Cong Duy
Tác giả : Trinh Cong Duy
Năm xuất bản : 2018
Nơi xuất bản : Đà Nẵng
Mô tả vật lý : VII, 116p.: ill.; 30cm 2 resume
Số phân loại : 004.3
Chủ đề : 1. $2Bộ TK TVQGMô hình hồi qui. 2. $2Bộ TK TVQGTin học. 3. 7.
Thông tin chi tiết
| Tóm tắt : | Nghiên cứu tự động hoá quá trình kiểm thử hồi quy cho các hệ thống phản ứng được xây dựng bởi ngôn ngữ Lustre và môi trường SCADE. Đề xuất giải pháp sinh ca kiểm thử tự động trong kiểm thử hồi quy các ứng dụng Lustre/SCADE |
Thông tin dữ liệu nguồn
| Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
|---|---|---|
Thư viện Quốc gia Việt Nam
|
LA18.1877.1, LA18.1877.2, LA18.1877.3, LA18.1877.4 |
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-749367.html |
Tài liệu cùng danh mục chủ đề
Topics in parallel and distributed computing: Introducing concurrency in undergraduate courses/ Steven Bogaerts, Joshua Stough, David P. Bunde... ; Ed.: Sushil K. Prasad..
Tác giả : Steven Bogaerts, Joshua Stough, David P. Bunde... ; Ed.: Sushil K. Prasad..
Nhà xuất bản : Elsevier/Morgan Kaufmann
Năm xuất bản : 2015
Advances in computers/ Michael Felderer, Matthias Büchler, Martin Johns... ; Ed.: Atif Memon. Vol.101
Tác giả : Michael Felderer, Matthias Büchler, Martin Johns... ; Ed.: Atif Memon.
Nhà xuất bản : Academic Press
Năm xuất bản : 2016
Nghiên cứu mô hình giám sát trực tuyến cho hệ phân tán quy mô lớn: LATS Kỹ thuật: 62.48.01.01/ Trần Nguyễn Hồng Phúc
Tác giả : Trần Nguyễn Hồng Phúc
Năm xuất bản : 2017
Nâng cao hiệu năng của các hệ vi xử lý chuyên dụng kiến trúc Risc bằng phương pháp đồng tổng hợp: LATS Kỹ thuật: 62.52.02.03/ Hoàng Thị Phương
Tác giả : Hoàng Thị Phương
Năm xuất bản : 2017
Nghiên cứu phòng chống bế tắc trong cung cấp tài nguyên phân tán cho hệ thống máy chủ ảo: LATS Kỹ thuật: 62.48.01.01/ Nguyễn Hà Huy Cường
Tác giả : Nguyễn Hà Huy Cường
Năm xuất bản : 2017
Đại học Công nghệ - ĐHQGHN 
Đại học Giáo dục - ĐHQGHN 
Đại học khoa học tự nhiên - ĐHQGHN 
Đại học Khoa học Xã hội và Nhân văn - ĐHQGHN 
Đại học Kinh tế - ĐHQGHN 
Đại học Ngoại ngữ - ĐHQGHN 
Đại học quốc gia Hà Nội 
Đại học Y - Dược - ĐHQGHN 
Học Viện Hàng Không Việt Nam 
Thư viện Huyện Bình Chánh - TVKHTH TP.HCM 
Thư viện huyện Bình Minh - TV Vĩnh Long 
Thư viện huyện Bình Tân - TV Vĩnh Long 
Thư viện Huyện Cần Giờ - TVKHTH TP.HCM 
Thư viện Huyện Củ Chi - TVKHTH TP.HCM 
Thư viện Huyện Hóc Môn - TVKHTH TP.HCM 
Thư viện huyện Long Hồ - TV Vĩnh Long 
Thư viện huyện Mang Thít - TV Vĩnh Long 
Thư viện Huyện Nhà Bè - TVKHTH TP.HCM 
Thư viện huyện Tam Bình - TV Vĩnh Long 
Thư viện huyện Trà Ôn - TV Vĩnh Long 
Thư viện Khoa học Tổng hợp TP.HCM 
Thư viện quận 1 - TVKHTH TP.HCM 
Thư viện quận 10 - TVKHTH TP.HCM 
Thư viện quận 11 - TVKHTH TP.HCM 
Thư viện quận 12 - TVKHTH TP.HCM 
Thư viện quận 2 - TVKHTH TP.HCM 
Thư viện quận 3 - TVKHTH TP.HCM 
Thư viện quận 4 - TVKHTH TP.HCM 
Thư viện quận 5 - TVKHTH TP.HCM 
Thư viện quận 6 - TVKHTH TP.HCM 
Thư viện quận 7 - TVKHTH TP.HCM 
Thư viện quận 8 - TVKHTH TP.HCM 
Thư viện quận Bình Tân - TVKHTH TP.HCM 
Thư viện quận Bình Thạnh - TVKHTH TP.HCM 
Thư viện quận Gò Vấp - TVKHTH TP.HCM 
Thư viện quận Phú Nhuận - TVKHTH TP.HCM 
Thư viện quận Tân Bình - TVKHTH TP.HCM 
Thư viện quận Tân Phú - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 1) - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 2) - TVKHTH TP.HCM 
Thư Viện Tỉnh An Giang 
Thư viện tỉnh Vĩnh Long 
Tổ chức y tế thế giới 
Trung tâm giáo dục quốc phòng và An ninh - ĐHQGHN 
Trung tâm Hỗ trợ Sinh viên - ĐHQGHN 
Trường Đại học Luật - ĐHQGHN 
Trường Khoa học liên ngành và nghệ thuật - ĐHQGHN 
Trường Quản trị và Kinh doanh - ĐHQGHN 
Viện Công nghệ Thông tin - ĐHQGHN 
Viện Đảm bảo chất lượng giáo dục - ĐHQGHN 
Viện Quốc tế Pháp ngữ - ĐHQGHN 
Viện Tài nguyên và Môi trường - ĐHQGHN 
Viện Vi sinh vật và Công nghệ Sinh học - ĐHQGHN 
Viện Việt Nam học và Khoa học phát triển - ĐHQGHN