ペンギンの杜

Linuxソフト集

  • Top
  • soft
  • mCRL2
広告

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

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

説明

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


コメント

広告