HỆ THỐNG THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ
Các nhiệm vụ khác
- Tổng hợp nghiên cứu cấu trúc của phức chất kim loại chuyển tiếp với phối tử ba càng chứa hidrocacbon đa vòng (PAH) và khả năng ứng dụng của chúng trong sensơ huỳnh quang
- Nghiên cứu cấu trúc và phân rã β kép của hạt nhân dựa trên các phản ứng trao đổi điện tích chuyển nucleon và tán xạ (pp') trong vùng năng lượng > 100 MeV/nucleon
- Nghiên cứu thành phần loài một số Ký sinh trùng có nguồn gốc từ động vật Ký sinh trên người Việt Nam sử dụng phương pháp hình thái học và sinh học phân tử
- Tái cấu trúc đầu tư công trong khuôn khổ đổi mới mô hình tăng trưởng của việt Nam
- Phát triển các sản phẩm du lịch sinh thái tại khu dự trữ thiên nhiên Động Châu - Khe Nước Trong
- Hệ hyperbolic các định luật cân bằng và ứng dụng trong các mô hình dòng chảy hai pha
- Hôn nhân xuyên biên giới với phát triển xã hội ở các tỉnh miền núi nước ta hiện nay
- Nghiên cứu hoàn thiện biện pháp kỹ thuật điều tiết ra hoa một số loài phong lan có giá trị tại tinh Phú Thọ
- Nghiên cứu công nghệ tách tạp chất bã thạch cao photpho nhà máy phân bón cho sản xuất vật liệu xây dựng
- Nghiên cứu đề xuất giải pháp phát triển các mô hình tổ chức sản xuất tại huyện nông thôn mới Hải Hậu tỉnh Nam Định
liên kết website
Lượt truy cập
Lượt truy cập :
18,414,663
- Ứng dụng kết quả thực hiện nhiệm vụ
102.03-2015.25
2020-53-647/KQNC
Khung ngữ nghĩa hình thức cho kết hợp và kiểm chứng mô hình trong phát triển 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. Nguyễn Việt Hà
PGS.TS. Phạm Ngọc Hùng; TS. Đặng Đức Hạnh; TS. Vũ Diệu Hương; TS. Võ Đình Hiếu; ThS. Chu Thị Minh Huệ
Khoa học máy tính và thông tin
05/2016
05/2020
05/05/2020
2020-53-647/KQNC
09/07/2020
Phần mềm; Khung ngữ nghĩa hình thức; Khung ngữ nghĩa kiểm chứng; Tích hợp; Cấu trúc; Phát triển
Ứng dụng
Đề tài KH&CN
Khoa học tự nhiên,
Số lượng công bố trong nước: 0
Số lượng công bố quốc tế: 0
Không
Không
In ấn
Gửi Email
Facebook
Twitter
Google+