fast2armc プログラムは、FAST(er) ツール用のカウンター・オートマトン・モデルのソース・コードを ARMC プロローグ構文に変換します。
バージョン履歴
- バージョン 1.2.2 に転記 2010-02-24
いくつかの修正と更新 - バージョン 1.2.2 に転記 2010-02-24
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: fast2armc.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 1.2.2
- プラットフォーム: windows