• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• soft/mCRL2 へ行く。
  • 1 (2011-02-08 (火) 15:37:37)

mCRL2 - - 並行システムのモデリングなどをする専用言語

メインページ	http://www.mcrl2.org/
参考ページ1	http://
参考ページ2	http://
概要	並行システムのモデリングなどをする専用言語
カテゴリ	[プログラミング/言語 ], [研究・開発・設計/シミュレーション ]
関連ソフト	--
検索	mCRL2をGoogleで検索
ライセンス	フリー
Debianパッケージ	mcrl2
Ubuntuパッケージ	検索 , あればパッケージ登録→
RPMパッケージ	検索 , あればパッケージ登録→
登録日	2010-03-12

説明

並行システムのモデリングなどをする専用言語

コメント