REDLIB 8
您將能夠在 5 秒內下載。
關於 REDLIB
* 使用CRD(時鐘限制圖)技術的C級密集時間模型的即時系統模型檢查/模擬檢查庫。* 具有HRD(混合限制圖)技術C中線性混合系統的參數分析庫
相關軟體
-
Open Pandora's Box 免費
潘朵拉是一個基於人工智慧網路的機器人。Pandora 是一個基於元件的 AI 架構,包括,資料庫記憶體、XML、語音、語音 rec、聊天、IRC、HTTP、Wiktionary、Freebase、意識、語言、GUI、小計、Web、jsp
-
ActiveWizard 免費試用
ActiveWizard 是一個易於使用的 ActiveX 控件,使您能夠創建「Windows 2000 樣式」嚮導。只需在表單上放入 ActiveWizard 控制件,添加一些 ActivePane 控制項,ActiveWizard 控制件將自動調整窗格的大小。ActivePane 控制項的作用與容器一樣,您可以在其中放其他控制項。在幾分鐘內創建嚮導!自動調整所有窗格的大小!{@}
-
Tilem - TI Linux Emulator 免費
Z80系列德州儀器(德州儀器)圖形計算機的模擬器。它類比除 TI-81 之外的所有當前 Z80 計算機型號,並具有調試器、外部檔載入和完全快閃記憶體支援,包括快閃記憶體應用載入。
-
CUBRID Cluster 免費
見HTTP://www.cubrid.org/cluster。CUBRID 群集是一種開源群集 DBMS,具有高可伸縮性,包括全域架構、分散式分區和負載平衡功能。這是一個從CUPRRID專案分拆的專案,由NHN支援。
-
Resolution Changer FREE 免費
##这个应用程序需要根##Resolution更换器是一个应用程序,允許您更改設備的解析度。曾經將設備連接到電視或顯示器並得到黑條嗎?無法獲取電視的全解析度輸出?好在來解析度改變者!有了這個程式,你可以設置自己的解析度,以適應你的第二次顯示或顯示器。它有 16:10 和 16:9 方面!這獨立於設備工作!平板電腦或手機;這不重要。您是否有一個舊裝置, 不會玩你的最新遊戲沒有顯著滯後?再次解析度改變者可以説明你!設定您的解析度更低,以便能夠玩最新和
-
Looper Event / Alert System 免費
Looper 事件/警報系統是主要用於網路管理以執行警報監視和重定向的應用程式。其設計考慮到極其簡單,並且高度模組化。也用作網冷探頭或 gqateway。
-
Keystone Parser 免費
Keystone 解析器是 ISO 語言定義的解析器C++端。包括克勞索 API。
-
Easy Recovery 免費
[...需要 Rotacces ... ...這個程式安裝一個自定義恢復,只需輸入路徑,它將閃現I不負責任何事情!!!精選裝置 (100% 工作):- 三星銀河 W (GT-I8150) - 三星銀河 S II (GT-I9100) - 三星銀河 S III (GT-I9300) - HTC 一個 X - 華碩連結 7 - LG Optimus 2X - Nexus 4
-
Privacy Blocker 免費試用
(1.99 美元,限時,正常價格為 3.99 美元)(請在購買隱私攔截器之前嘗試隱私檢查器)☆&T使用者需要啟用"側載入"才能使用此應用程式的主要功能。隱私阻止程式是全面保護您和阻止應用收集您的個人資訊的唯一方法。隱私攔截器顯示所有應用的骯髒機密,然後安全地修復它們,這樣您仍然可以使用您的應用程式,並保證提供完全保護。確保您的設備安全和您的個人資訊的安全!今天!隱私攔截器功能:☆ 掃描應
-
RKFS - A new filesystem for Linux 免費
RKFS - Linux 的一種新的創新文件系統。目標是提供一個簡單但功能強大的檔案系統,該系統具有作為 Ext2 的所有功能,但用於小型設備(容量較少的設備)。它非常堅固,並提供出色的性能。