Top > soft > mCRL2
広告

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

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

説明

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

コメント


URL B I U SIZE Black Maroon Green Olive Navy Purple Teal Gray Silver Red Lime Yellow Blue Fuchsia Aqua White
広告
Reload   New Lower page making Edit Freeze Diff Upload Copy Rename   Front page List of pages Search Recent changes Backup Referer   Help  
Last-modified: (141d)