* Thư viện kiểm tra mô hình / mô phỏng kiểm tra cho hệ thống thời gian thực với các mô hình thời gian dày đặc trong C với công nghệ CRD (Sơ đồ hạn chế đồng hồ). * Thư viện phân tích tham số cho các hệ thống kết hợp tuyến tính trong C với HRD (Sơ đồ hạn chế lai) technol
lịch sử phiên bản
- Phiên bản version 8 đăng trên 2011-05-29
- Phiên bản version_2 đăng trên 2011-03-24
Một số bản sửa lỗi và cập nhật
Chi tiết chương trình
- Mục: Phát triển > Khác
- Publisher: sites.google.com/site/redlibtw/
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: 8
- Nền tảng: linux