6.90216%
24.70358%
47 / 42.309 người
7.03517%
3.9109%
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngMạng Petri trong mô hình hóa hệ thốngMạng cảm biến không dây tiết kiệm năng lượng
Ho Chi Minh City University of Technology
Nguồn: OpenAlex42 công bố186 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngLogic, lập trình và hệ thống kiểuĐiều khiển và quản lý giao thông
Vietnam National University Ho Chi Minh City
Nguồn: OpenAlex13 công bố42 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngPhân tích lý thuyết hàng đợi nâng caoMạng Petri trong mô hình hóa hệ thống
Institute of Mathematics
Nguồn: OpenAlex6 công bố45 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngKỹ thuật kiểm thử và gỡ lỗi phần mềmNghiên cứu khởi nghiệp và các yếu tố ảnh hưởng
Thuongmai University
Nguồn: OpenAlex9 công bố8 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngLogic, lập trình và hệ thống kiểuThuật toán lập kế hoạch đường đi cho robot
Ho Chi Minh City University of Technology and Engineering
Nguồn: OpenAlex15 công bố353 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngTính chất từ của hợp kimPhương pháp luận kỹ nghệ phần mềm tiên tiến
Trường Đại học Khoa học và Công nghệ Hà Nội
Nguồn: OpenAlex10 công bố73 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngKỹ thuật thiết kế hệ thống nhúngKỹ thuật kiểm thử và gỡ lỗi phần mềm
Hue University
Nguồn: OpenAlex53 công bố265 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngLogic, lập trình và hệ thống kiểuKỹ thuật kỹ nghệ phần mềm hướng mô hình
Trường Đại học Khoa học và Công nghệ Hà Nội
Nguồn: OpenAlex10 công bố59 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngKỹ thuật xử lý ngôn ngữ tự nhiênNghiên cứu vi sinh vật miệng và viêm nha chu
Vinmec Times City International Hospital
Nguồn: OpenAlex8 công bố17 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngKỹ thuật kiểm thử và gỡ lỗi phần mềmPhương pháp luận kỹ nghệ phần mềm tiên tiến
Phenikaa University
Nguồn: OpenAlex15 công bố18 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngLogic, lập trình và hệ thống kiểuKỹ thuật kỹ nghệ phần mềm hướng mô hình
VNU University of Engineering and Technology
Nguồn: OpenAlex27 công bố36 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngLogic, lập trình và hệ thống kiểuHệ thống phân tán và khả năng chịu lỗi
University of Illinois Chicago
Nguồn: OpenAlex5 công bố39 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngLogic, lập trình và hệ thống kiểuPhương pháp luận kỹ nghệ phần mềm tiên tiến
VNU University of Engineering and Technology
Nguồn: OpenAlex9 công bố39 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngKỹ thuật kiểm thử và gỡ lỗi phần mềmỨng dụng và bảo mật công nghệ blockchain
Hai Phong University
Nguồn: OpenAlex5 công bố1 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngLogic, lập trình và hệ thống kiểuKỹ thuật kiểm thử và gỡ lỗi phần mềm
University College London
Nguồn: OpenAlex39 công bố541 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngLogic, lập trình và hệ thống kiểuLogic, suy luận và tri thức
VNU University of Engineering and Technology
Nguồn: OpenAlex5 công bố12 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngKỹ thuật kiểm thử và gỡ lỗi phần mềmLogic, lập trình và hệ thống kiểu
Posts and Telecommunications Institute of Technology
Nguồn: OpenAlex12 công bố73 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngLập lịch hệ thống thời gian thựcBài toán tối ưu hóa và tìm kiếm
Trường Đại học Khoa học và Công nghệ Hà Nội
Nguồn: OpenAlex37 công bố451 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngMô hình hóa chủ đềNghiên cứu lý thuyết đồ thị nâng cao
Hung Yen University of Technology and Education
Nguồn: OpenAlex56 công bố1.458 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngKỹ thuật kiểm thử và gỡ lỗi phần mềmLogic, lập trình và hệ thống kiểu
VNU University of Engineering and Technology
Nguồn: OpenAlex71 công bố161 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngLogic, lập trình và hệ thống kiểuKỹ thuật kiểm thử và gỡ lỗi phần mềm
Vietnam National University Ho Chi Minh City
Nguồn: OpenAlex24 công bố124 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngLogic, lập trình và hệ thống kiểuKỹ thuật kỹ nghệ phần mềm hướng mô hình
Industrial University of Ho Chi Minh City
Nguồn: OpenAlex7 công bố262 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngLogic, lập trình và hệ thống kiểuLogic, suy luận và tri thức
Vietnamese-German University
Nguồn: OpenAlex34 công bố169 trích dẫn
Chủ đề nghiên cứu: Phương pháp hình thức trong kiểm chứngPhân tích mạng lưới điều hòa genLogic, suy luận và tri thức
Centre Inria de Saclay
Nguồn: OpenAlex42 công bố127 trích dẫn
