Mô hình hóa trong kỹ thuật phần mềm

Luận án tiến sĩ một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án ts máy tính 94801

Luận án tiến sĩ trình bày các phương pháp mô hình hóa và kiểm chứng cho hệ thống thời gian thực, góp phần nâng cao hiệu quả trong nghiên cứu máy tính.