Ngôn ngữ Tiếng ViệtNơi công tác: Ban Cơ yếu Chính phủChuyên ngành: Bảo đảm Toán học cho MT&HTTT/Cơ sở toán cho tin họcTên đề tài: Đặc tả và kiểm chứng hình thức: Ứng dụng trong cơ sở dữ liệu thời gian thựcTập thể hướng dẫn: PGS. TS Đoàn Văn Ban, PGS. TS Nguyễn Hữu NgựNăm bảo vệ: 2004Bậc đào tạo: Tiến sĩ