Feature #464
Feature #462: Trans. Managed System to UPPAL ohne O/C-TM
Impl. Abstraktes Modell MAPE-Loop
Status:
New
Priority:
Normal
Assignee:
-
Start date:
12/01/2016
Due date:
12/10/2016
% Done:
0%
Estimated time:
Description
Lösungsvorschlag: Formal Models for Analysing Dynamic Adaptation Behavior in Real-Time Systems
History
#1 Updated by Anonymous over 7 years ago
- Due date set to 12/10/2016
- Start date changed from 11/22/2016 to 12/01/2016