Now showing items 1-1 of 1

    • Tìm hiểu bộ kiểm chứng mô hình Spin 

      Vũ, Đức Hậu (Đại học Dân lập Hải Phòng, 2012)
      Nội dung của khóa luận: Khóa luận tìm hiểu về bộ kiểm chứng mô hình SPIN,các mô hình hệ thống viết bằng ngôn ngữ promela mà SPIN có thể hiểu được và các kiểm chứng mô hình bằng SPIN.