DREAM Tool 0.7 Beta
DREAM工具是一个通用的框架，它的目的是提供能表达几个（实时，功率消耗，资源）约束的共同的语义域。语义域有一个可执行的C ++模型已语义锚定在混合自动形式主义。虽然计算的模型对应的混合自动机，到目前为止，我们已经成功地使用时间自动机上大小适中系统由保守近似分析模型。为了应对大规模的例子用户实施系统之前使用的模拟/测试界面上可执行的C...
最近浏览的软件
PrintGopher 26 Jan 15
Cypress USB-Serial Composite Device Driver for Windows 7 64-bit 25 Apr 16
-
Acer Aspire V3-532 Realtek Audio Driver for Windows 8.1 64-bit 24 Jul 15
MS Publisher Search In Multiple Files At Once Software 15 Nov 14
IMonitor Keylogger Pro 31 Dec 14
-
MapPoint 2002/2004 Spinning Globe Sample 21 Sep 15
-
Lenovo ThinkPad E450 Broadcom Bluetooth Driver for Windows 8.1 64-bit 24 Jul 15
-
TP-Link TL-R480T+ V5 Router Firmware 23 Dec 15
CodingForFun for Windows 8 26 Jan 15
EF Multi File Renamer (64-bit) 27 Apr 17