Tìm hiểu cơ sở lý thuyết cho kiểm chứng mô hình, một công nghệ tự động trong đó mô hình với tập trạng thái hữu hạn của hệ thống và một tính chất logical, hệ thống sẽ kiểm tra xem tính chất đó. Spin một công cụ kiểm chứng mô hình. Spin là công cụ nhằm phân (...)Electronic ResourcesLuận văn ThS. Công nghệ phần mềm -- Trường Đại học Công nghệ: 60 48 10. Đại học Quốc gia Hà Nội, 2013
Readership Map
Content Distribution
Tìm hiểu cơ sở lý thuyết cho kiểm chứng mô hình, một công nghệ tự động trong đó mô hình với tập trạng thái hữu hạn của hệ thống và một tính chất logical, hệ thống sẽ kiểm tra xem tính chất đó. Spin một công cụ kiểm chứng mô hình. Spin là công cụ nhằm phân (...)Electronic ResourcesLuận văn ThS. Công nghệ phần mềm -- Trường Đại học Công nghệ: 60 48 10. Đại học Quốc gia Hà Nội, 2013
