intTypePromotion=1
ADSENSE

Công cự erigone

Xem 1-1 trên 1 kết quả Công cự erigone
  • Erigone là mô hình triển khai lại của mô hình kiểm chứng Spin được phát triển với mục đích kiểm chứng được dễ dàng trực quan, uyển chuyển nhằm thuận lợi cho việc nghiên cứu và mô phỏng mô hình hệ thống, erigone có thể được thực hiện bằng công cụ trên giao diện đồ họa EUI hoặc thao tác bằng câu lệnh dưới dạng command line với nhiều tùy biến lựa chọn cho phép kiểm chứng hoạt động của hệ thống....

    doc48p tinhbanpt 12-12-2012 49 15   Download

CHỦ ĐỀ BẠN MUỐN TÌM

ADSENSE

p_strKeyword=Công cự erigone
p_strCode=congcuerigone

nocache searchPhinxDoc

 

Đồng bộ tài khoản
2=>2