 | 議長パターンに基づくプロパティエディタ |
| 今すぐダウンロード | |
議長 ランキングとまとめ
広告
議長 タグ
議長 説明
Procrustesは、アクセス可能なパターンベースのプロパティエディタとして開発されました。 ソフトウェアを使用すると、パターンを時間論理式に変換できます（現在CTL、CTRL、およびMU-calculusがサポートされています）。 PROCRUSTESは、2つのモジュール、GUI、パターントランスレータAPIが付属しているツールです。 セルラインタラクションネットワークのダイナミクスのモデルは、近年ますます大きくなっています。 分析およびシミュレーションツールによるこれらのモデルの研究は、システムの可能な動的挙動の多数の予測を生成する。
議長 関連ソフトウェア
