Đặc tả hình thức cho hệ thời gian thực

Luận văn thạc sĩ VNU UET trình bày cải tiến thuật toán chứng minh tính đúng đắn của công thức khoảng, mang lại giải pháp hiệu quả cho nghiên cứu.