Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. MIRACH

MIRACH

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 3.0/5 - ‎1 ‎Phiếu
Tải về

Chúng tôi đang phát triển MIRACH, một kiểm tra mô hình trực tuyến thống kê cho các mô hình con đường sinh học, dựa trên chính thức PLTLs để thể hiện các quy tắc / thuộc tính cần kiểm tra. MIRACH hiện có thể kiểm tra các mô hình con đường được viết bằng CSML hoặc SBML.

lịch sử phiên bản

  • Phiên bản files đăng trên 2010-06-22
    Một số bản sửa lỗi và cập nhật
  • Phiên bản N/A đăng trên 2010-06-22

Chi tiết chương trình

Các chương trình liên quan

  • Java RCX API Miễn phí

    Một API Java để điều khiển Lego Mindstorms RCX (v2.0). API này khác với việc thoát khỏi việc triển khai Java ở mức nó sẽ bao gồm bộ điều khiển tháp USB IR dựa trên Win32.

  • ACMLCWebsite Miễn phí

    Đây là trang web của chương ACM trong Lebanon.In web này, chúng tôi dự định sử dụng ASP.net, MySQL, Flash, và các phần mềm khác. Trang web sẽ là liên kết giữa các thành viên chương của ACM ở Lebanon cố gắng tạo điều kiện giao

  • sopa opensource operating system Miễn phí

    SOPA là một sở thích mã nguồn mở hệ điều hành bằng văn bản trong cả hai C và hội.Mục đích đầu tiên của dự án này là để tôi tìm hiểu và hy vọng sẽ giúp đỡ khác khi tìm hiểu về phát triển hệ điều hành.Hãy đóng góp!

  • ucabot Miễn phí

    Ucabot es una asociacin de estudiantes de robotica. Ucabot là một nhóm sinh viên robot. Chúng tôi tạo ra và làm việc với phần mềm mở và phần cứng mở. Nhóm này được tạo ra bởi Amuca (Asociation của sinh viên Đại học Cadiz). Ch

  • Matrex Miễn phí

    Matrex là một bảng tính vectorial nhẹ: tính toán các khối giá trị, không phải các tế bào đơn; nó là mạnh mẽ multithreaded; người dùng có thể làm việc cùng nhau trên các trang tính bằng máy chủ. Adapter để matlab, scilab, quãn

  • JXML2OWL Miễn phí

    Dự án JXML2OWL được chia thành hai dự án phụ: JXML2OWL API, một thư viện để ánh xạ lược đồ XML để OWL Ontologies trên plaform JAVA. JXML2OWL Mapper, một ứng dụng độc lập dễ sử dụng với giao diện người dùng đồ họa sử dụng API

  • Guide and Cheats for 100 Exits Miễn phí

    Tất cả mọi thứ về 100 Lối ra! Sử dụng lời khuyên của chúng tôi, bạn sẽ có thể hiểu được logic của mỗi và mọi cấp độ và vượt qua nó thành công! à ¢ â ̃ ... Nội dung và đồ họa gốc. à ¢ â ̃ ... Dễ dàng interfaceà ¢ â ̃ ... ch

  • Swift Meeting Management System Miễn phí

    SMMS(Swift Meeting Management System) là hệ thống lập kế hoạch tài nguyên cuộc họp dựa trên web. SMMS dựa trên công nghệ web Java (Groovy / Grails), nó có ý định dễ dàng triển khai, sử dụng, mở rộng và tích hợp.

  • Spasmos Miễn phí

    Spasmos là một gói Python cho phép các nhà khoa học mô phỏng động lực của plasma va chạm cao bằng cách sử dụng một số phương pháp số.

  • Bilingual newspaper Vietnamese Miễn phí

    Báo song ngữ Việt - Anh - Android VersionOrient Light Inc có sản phẩm mới EV News Newspaper Reading Plus song ngữ Việt - Anh linh hoạtCác bài viết tiếng Anh lấy từ nhiều nguồn như BBC, VOA và đã được các chuyên gia từ vietgle