REDLIB 8

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 3.0/5 - ‎1 ‎投票

に関しては REDLIB

CRD(クロック制限図)技術を用いたCの高密度モデルを備えたリアルタイムシステムのための*モデルチェック/シミュレーションチェックライブラリ。* HRD (ハイブリッド制限図) テクノルを用いた C のリニアハイブリッドシステム用パラメトリック解析ライブラリ