プロジェクトの説明

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

(このプロジェクト概要は機械翻訳されたものです) 翻訳してみる 原文を表示する

ダウンロード

レビュー
あなたの評価
レビューする