Phân tích dữ liệu thời gian thực

Luận án tiến sĩ toán học đặc tả kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực

Luận án tiến sĩ toán học khám phá kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực, mở ra hướng nghiên cứu mới.