Project

General

Profile

Feature #462

Trans. Managed System to UPPAL ohne O/C-TM

Added by Oscar Machado Quintela about 4 years ago. Updated about 4 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Start date:
11/22/2016
Due date:
01/20/2017
% Done:

0%

Estimated time:
(Total: 0.00 h)

Description

STATE


Subtasks

Feature #463: Impl. Adaptation Rules (UPPAAL)New

Feature #464: Impl. Abstraktes Modell MAPE-LoopNew

Feature #465: Impl. des RestrukturierungsalgorithmusNew

Feature #466: Impl. Result Checker/ Invarianten PrüfungNew

Also available in: Atom PDF