Tóm tắt luận án tiến sĩ của NCS Nguyễn Trịnh Đông - Trường Đại học Công nghệ, ĐHQGHN - Univeristy of Engineering and Technology

Tóm tắt luận án tiến sĩ của NCS Nguyễn Trịnh Đông Tên đề tài luận án: Kiểm chứng hình thức các hệ thống thời gian thực hướng thành phần bằng kỹ thuật Model-Checking Họ và tên: Nguyễn Trịnh Đông Giới tính: Nam Ngày sinh: 12/07/1974 Nơi sinh: Hải Phòng Quyết định công nhận NCS số 3613/QĐ-CTSV ngày 22/10/2009 của Giám đốc Đại học Quốc gia Hà Nội. Đơn vị đào tạo: Trường Đại học Công nghệ Ngành đào tạo: Công nghệ Thông tin Chuyên ngành đào tạo: Kỹ thuật phần mềm Mã số: 62 48 01 03 Tên đề tài luận án: Kiểm chứng hình thức các hệ thống thời gian thực hướng thành phần bằng kỹ thuật Model-Checking Cán bộ hướng dẫn chính: TS. Đặng Văn Hưng, Trường Đại học Công nghệ Cán bộ hướng dẫn phụ: PGS.TS. Trương Anh Hoàng, Trường Đại học Công nghệ Tóm tắt luận án tiến sĩ: Thesis-tomtat – Dong Bởi Tuyết Nga | 13/12/2017 | Tiến sỹ | 1996 Views Tuyết Nga Trước Thông báo bảo vệ cấp Đại học Quốc gia luận án tiến sĩ của nghiên cứu sinh Lê Văn Thanh Vũ Sau Nộp học phí học kỳ I năm học 2017-2018 và các khoản nợ (nếu có) của NCS, HVCH Bài viết liên quan Thông tin luận án Tiến sĩ của NCS Nguyễn Minh Tân Tóm tắt luận án Tiến sĩ của NCS Phan Hải Luận án Tiến sĩ của NCS Hà Thị Kim Dung Tóm tắt luận án Tiến sĩ của NCS Hà Thị Kim Dung Thông tin luận án Tiến sĩ của NCS Hà Thị Kim Dung