Các nhiệm vụ khác
- Xây dựng sổ tay hoạt động giám sát của Quốc hội nhằm nâng cao chất lượng hoạt động giám sát của Quốc hội
- Nghiên cứu áp dụng công nghệ đúc bạc đồng bằng phương pháp ly tâm
- Nghiên cứu xây dựng và lồng ghép bộ chỉ số đô thị bền vững thịnh vượng đáng sống thích ứng với biến đổi khí hậu cho thành phố ven biển (lấy ví dụ cho thành phố Đà Nẵng)
- Sự hình thành và đặc điểm vận động của bão lũ (tập 2)
- Nghiên cứu KTSX thuỷ tinh cách điện cao thế dạng đứng 10 20 35 KV
- Hoàn thiện công nghệ lọc sinh học vật liệu nổi để xử lý nước thải các nhà máy chế biến thủy hải sản quy mô vừa và nhỏ khu vực Đồng bằng sông Cửu Long
- Đánh giá tổng hợp tự nhiên kinh tế xã hội 9 tỉnh miền núi phía Bắc
- Nghiên cứu xây dựng phương án dự báo đỉnh lũ phân vùng ngập lụt thung lũng sông La Ngà - tỉnh Bình Thuận và giải pháp phòng ngừa giảm thiểu thiệt hại
- Học thuyết phản ánh của VILênin trước những vấn đề mới trong đời sống tinh thần ở Việt Nam hiện nay
- Nghiên cứu xây dựng công nghệ dự báo dòng chảy cạn và cảnh báo hạn hán xâm nhập mặn phục vụ vận hành điều tiết liên hồ chứa hệ thống sông Vu Gia - Thu Bồn trong mùa cạn
liên kết website
Lượt truy cập
Lượt truy cập :
13079543
- Kết quả thực hiện nhiệm vụ
102.03-2014.40
2019-53-445/KQNC
Phân tích chương trình và ứng dụng trong kiểm chứng phần mềm
Trường Đại học Công nghệ
Đại học Quốc gia Hà Nội
Quốc gia
PGS. TS. Trương Ninh Thuận
TS. Tô Văn Khánh, PGS. TS. Phạm Ngọc Hùng, TS. Võ Đình Hiếu, ThS .Lê Hồng Anh, ThS. Đào Thị Hường
Khoa học máy tính
01/03/2015
01/08/2018
2019
Hà Nội
11 tr. + Phụ lục
Phần mềm; Kiểm chứng; Kỹ thuật; Phân quyền; Hệ thống nhúng
24 Lý Thường Kiệt, Hà Nội
16005
In ấn
Gửi Email
Facebook
Twitter
Google+