UPPAAL 4.0.6
UPPAAL是一個集成工具環境建模，確認和驗證建模為時間自動機的網絡，擴展數據類型（整數界，數組等）的實時系統。UPPAAL CORA是UPPAAL的成本優化可達Anslysis一個分支由UPPAAL團隊為VHS和AMETIST項目的一部分開發的。而支持UPPAAL時間自動機的模型檢測，UPPAAL CORA使用時間自動機稱為LPTA的延伸。 LPTA允許你註釋模型與成本的概念。這可以是延遲在某些情況下或特定行動的成本的成本。 UPPAAL CORA然後找到匹配的目標條件下的最佳路徑。UPPAAL...
最近瀏覽的軟件
SmartExcel Formula Wizard 31 Oct 15
-
Sony Vaio VPCEG18FX/P Synaptics Pointing Device Driver Uninstaller for Windows 8 64-bit 8 May 15
-
Your Assistant For Outlook 16 Apr 15
-
WebArchiver 26 Oct 15
EaseUS Disk Copy 15 Aug 18
MccMBoxmaX MixTheme 15 Apr 15
PCLReader 32-bit 9 Dec 14
-
Slicksync AIM Synchronizer Basic 28 May 15
-
Brother MFC-3220C Add Printer Wizard Driver for Vista 64-bit 15 Dec 15
-
Firefox Toolbar for LookLOCAL Maps 21 Sep 15