Đặ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

http://repository.vnu.edu.vn/handle/VNU_123/37270

Keywords

Cơ sở dữ liệu thời gian, Lôgic tính toán, Toán học tính toán

Publisher

ĐHQG

Appears in Collections:HUS - Dissertations