kỹ thuật đặc tả và kiểm chứng

Luận văn thạc sĩ vnu uet phương pháp chuyển đổi qua lại giữa các đặc tả hình thức cho các hệ chuyển trạng thái

Luận văn thạc sĩ VNU UET trình bày phương pháp chuyển đổi giữa các đặc tả hình thức cho hệ chuyển trạng thái, góp phần nâng cao hiệu quả nghiên cứu.