DREAM Tool

DREAM Tool 0.7 Beta

DREAMツールは、いくつかの(リアルタイム、消費電力、リソース)の制約を表現することができる一般的な意味領域を提供することを目的とする一般的なフレームワークです。意味領域は、意味的にハイブリッドオートマトンの形式主義に固定されている実行可能なC...