TLA+ Eclipse IDE プラグイン。Eclipse IDEでシステムを指定するための形式定義言語「アクションの時間的論理」の統合
バージョン履歴
- バージョン 2.1.0 に転記 2005-08-22
いくつかの修正と更新 - バージョン 2.1.0 に転記 2005-08-22
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: www.techjava.de/projects/etla-plugin/
- ライセンス: 無料
- 価格: N/A
- バージョン: 2.1.0
- プラットフォーム: windows