eTLA 2.1.0

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

に関しては eTLA

TLA+ Eclipse IDE プラグイン。Eclipse IDEでシステムを指定するための形式定義言語「アクションの時間的論理」の統合