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: Kỹ 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