UPPAAL 4.0.6
UPPAAL是一个集成工具环境建模，确认和验证建模为时间自动机的网络，扩展数据类型（整数界，数组等）的实时系统。UPPAAL CORA是UPPAAL的成本优化可达Anslysis一个分支由UPPAAL团队为VHS和AMETIST项目的一部分开发的。而支持UPPAAL时间自动机的模型检测，UPPAAL CORA使用时间自动机称为LPTA的延伸。 LPTA允许你注释模型与成本的概念。这可以是延迟在某些情况下或特定行动的成本的成本。 UPPAAL CORA然后找到匹配的目标条件下的最佳路径。UPPAAL...
最近浏览的软件
Unreal Tournament 2003 - Diabolic Deathball map 2 Nov 15
-
Ordant 8 Dec 14
Magento 2 Wepay Integration 16 Aug 16
Adobe Media Encoder CC 2014.2 2 Jan 15
-
iChange.NET 23 Sep 15
-
Dash Command 22 Sep 15
boottool 3 Jun 15
EasyProjectPlan 8 Apr 16
-
47m2w5h1.exe 7 Dec 15
Awesome Screen Capture 31 Dec 14