intTypePromotion=1
ADSENSE

Erigone bằng dòng lệnh

Xem 1-1 trên 1 kết quả Erigone bằng dòng lệnh
  • 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=Erigone bằng dòng lệnh
p_strCode=erigonebangdonglenh

nocache searchPhinxDoc

 

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