The PEP tool 2.0b

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

に関しては The PEP tool

PEPは並列システムのモデリングと検証のフレームワークであり、多数の異なるモデリング言語と検証技術(SDL、ペトリネット、モデルチェックなど)を提供します。