kỹ thuật đặc tả và kiểm chứng
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.
Danh mục:
67
2
0