
- Nghiên cứu thiết kế và xây dựng mô hình thí nghiệm ảo PLC Mishubishi phục vụ công tác đào tạo
- Nghiên cứu biện pháp phòng bệnh khẩn cấp cho ngao nuôi ở miền Bắc Việt Nam
- Hoàn thiện quy trình công nghệ nuôi cấy mô và sản xuất thử cây giống Bạch đàn PNCT3 và PNCTIV
- Điều tra khảo sát đánh giá thực trạng về quản lý sử dụng các loại thiết bị vật tư theo quy định về an toàn sức khỏe và đề xuất các giải pháp đảm bảo an toàn cho người lao động trên địa bàn tỉnh Quảng Bình
- Nghiên cứu các vấn đề môi trường nông thôn Việt Nam theo các vùng sinh thái đặc trưng dự báo xu thế diễn biến đề xuất các chính sách và giải pháp kiểm soát thích hợp - ĐTN: Sức khoẻ cộng đồng và vệ sinh môi trường nông thôn tại các tỉnh phía Nam theo cá
- Nghiên cứu thiết kế chế tạo thiết bị hỗ trợ điều trị bệnh gan
- Nghiên cứu sự ổn định của đường lò dọc vỉa chống giữ bằng kết cấu chống linh hoạt hình dạng đào qua khối đá có đặc tính không đồng nhất bất đẳng hướng cao tại các mỏ khai thác than hầm lò vùng Quảng Ninh
- Nghiên cứu công nghệ dệt nhuộm vải từ sợi chuối
- Thiết kế sơ đồ mạng cáp thông tin
- Nghiên cứu đề xuất giải pháp trung hoà và ổn định chất lượng nguyên liệu đầu vào cho sản xuất gang theo công nghệ lò cao của Nhà máy luyện gang-công ty Gang thép Thái Nguyên



- 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; Trương Ninh Thuận(1);
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