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