red.7.090311.tar.gz (red.7.090311.tar.gz( 外部リンク: SF.net): 488,145 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。
* モデル チェック/シミュレーション-検査 CRD （クロック制限図） 技術と C で濃密な時間モデルによる実時間システムのためのライブラリです。* 人材育成 （ハイブリッド制限図） テクノルと C で線形ハイブリッド システム パラメトリック解析ライブラリ
