REDLIB 8
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/redlib/files/RED%2CTCTL%20model-checker%2C%20simulation-checker%2C%20parametric%20safety-analyzer/text%20mode/version%208/red.8.110529.tar.gz/download
に関しては REDLIB
CRD(クロック制限図)技術を用いたCの高密度モデルを備えたリアルタイムシステムのための*モデルチェック/シミュレーションチェックライブラリ。* HRD (ハイブリッド制限図) テクノルを用いた C のリニアハイブリッドシステム用パラメトリック解析ライブラリ
関連プログラム
-
Open Pandora's Box 無料
パンドラは、人工のインテリジェントなウェブベースのボットです。パンドラは、含むコンポーネントベースのAIアーキテクチャです, データベースメモリ, XML, 音声, 音声 rec, チャット, IRC, HTTP, ウィクトーナリー, フリーベース, 意識, 言語, GUI, アプレット, ウェブ, jsp
-
ActiveWizard 無料トライアル
ActiveWizard は、使いやすい ActiveX コントロールで、"Windows 2000 スタイル" ウィザードを作成できます。フォームに ActiveWizard コントロールを配置し、ActivePane コントロールを追加するだけで、自動的にウィンドウのサイズが変更されます。ActivePane コントロールは、他のコントロールを配置できるコンテナーのように動作します。数分でウィザードを作成!すべてのペインの自動サイズ変更!
-
Tilem - TI Linux Emulator 無料
計算機をグラフ化するテキサスインスツルメンツのZ80シリーズのエミュレータ。TI-81を除くすべての現在のZ80電卓モデルをエミュレートし、デバッガ、外部ファイルの読み込み、フラッシュアプリのロードを含むフルフラッシュサポートを備えています。
-
CUBRID Cluster 無料
http://www.cubrid.org/clusterを参照してください。CUBRID クラスタは、グローバル スキーマ、分散パーティション、負荷分散機能などの高いスケーラビリティを実現するオープン ソースのクラスタ化 DBMS です。これは、CUBRIDプロジェクトからのスピンオフプロジェクトであり、NHNによってサポートされています。
-
Resolution Changer FREE 無料
## このアプリは、ルート ##Resolutionチェンジャーは、デバイスの解像度を変更できるアプリです。今まであなたのテレビやモニターにデバイスを接続し、黒いバーを取得しますか?テレビにフル解像度の出力を取得できませんか?まあINは解決チェンジャーを来る!このアプリを使用すると、あなたの第二のディスプレイやモニターに合わせて独自の解像度を設定することができます。それは両方の16:10と16:9の側面を持っています!これは、デバイスから独立して
-
Looper Event / Alert System 無料
Looperイベント/アラートシステムは、主にアラートの監視とリダイレクトを実行するためにネットワーク管理のために使用されるアプリケーションです。それは心の非常に簡単で設計され、非常にモジュール化されている。また、ネットクールプローブまたはgqatewayとして使用されます。
-
Keystone Parser 無料
キーストーン パーサーは、ISO C++ 言語定義のパーサーフロントエンドです。クルーソー API が含まれています。
-
Easy Recovery 無料
アン・イ・ア・イ・ア・イルートアクセスは、Ã''sを必要としました。このアプリは、カスタムリカバリをインストールし、単にそれにパスを入力し、それがフラッシュされます私は何のために責任を負いません!!!注目のデバイス(100%が動作しています):- サムスンギャラクシーW(GT-I8150)-サムスンギャラクシーS II(GT-I9100)-サムスンギャラクシーS III(GT-I9300)-サムスンギャラクシーネクサス(GT-I9250)-HTC
-
Privacy Blocker 無料トライアル
(期間限定で$1.99、通常価格は$3.99になります)(プライバシーブロッカーを購入する前にプライバシーインスペクタをお試しください)☆ AT&T ユーザーは、このアプリの主な機能を使用するために有効に「サイドローディング」が必要です。プライバシーブロッカーは、完全にあなたを保護し、あなたの個人情報を収集するからアプリを停止する唯一の方法です。プライバシーブロッカーは、すべてのアプリの汚れた秘密を明らかにし
-
RKFS - A new filesystem for Linux 無料
RKFS - Linux用の新しい革新的なファイルシステム。目標は、Ext2としてすべての機能を備えたシンプルでありながら強力なファイルシステムを提供することですが、小型デバイス(容量の少ないデバイス)を実現します。それは非常に強く、優秀な性能を提供する。