ACM code generator 1.0

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

ACMgen は、一部のプロパティに対して正式に検証し、実際の実装 (例えば.C++ や Verilog) に変換できるペトリネット モデルの生成に基づく非同期通信メカニズムの自動コード ジェネレーターです。

バージョン履歴

  • バージョン 1.0 に転記 2008-03-10
    いくつかの修正と更新
  • バージョン 1.0 に転記 2008-03-10

プログラムの詳細

  • カテゴリ: 開発 >
  • パブリッシャー: acmgen.sf.net
  • ライセンス: 無料
  • 価格: N/A
  • バージョン: 1.0
  • プラットフォーム: linux