MIRACH

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

に関しては MIRACH

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