MIRACH

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 3.0/5 - ‎1 ‎投票

我々は、生物学的経路モデルのための統計オンラインモデルチェッカーであるMIRACHを、チェックするルール/プロパティを表現するためのPLTLs形式主義に基づいて開発しています。MIRACHは現在、CSMLまたはSBMLのいずれかで書かれた経路モデルをチェックすることができます。

バージョン履歴

  • バージョン files に転記 2010-06-22
    いくつかの修正と更新
  • バージョン N/A に転記 2010-06-22

プログラムの詳細

  • カテゴリ: 教育 >
  • パブリッシャー: mirach.sf.net
  • ライセンス: 無料
  • 価格: N/A
  • バージョン: Array
  • プラットフォーム: windows