red.7.090508.1.tar.gz (red.7.090508.1.tar.gz( 外部リンク: SF.net): 501,621 バイト)のダウンロードが開始されます。開始されない場合,左のリンクをクリックしてください。

ファイル情報

ファイルサイズ
501,621 バイト
MD5
abf4db176741d5e57511ad0eb73ffa95

プロジェクト概要

* モデル チェック/シミュレーション-検査 CRD (クロック制限図) 技術と C で濃密な時間モデルによる実時間システムのためのライブラリです。* 人材育成 (ハイブリッド制限図) テクノルと C で線形ハイブリッド システム パラメトリック解析ライブラリ