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 免费
[...需要根 Acces ... ...这个程序安装一个自定义恢复,只需输入路径,它将闪现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 的所有功能,但用于小型设备(容量较少的设备)。它非常坚固,并提供出色的性能。