General

Profile

Oscar Machado Quintela

Issues

Projects

Activity

11/22/2016

12:12 PM Produktionzelle Support #453 (In Progress): Def. System Komponenten
11:59 AM Produktionzelle Support #456: Install & Konfigurieren Tools
Oscar Machado Quintela wrote:
> SystemC & UPPAAL SMC &STATE
11:53 AM Produktionzelle Feature #466 (New): Impl. Result Checker/ Invarianten Prüfung
Model-Checking
11:52 AM Produktionzelle Feature #465 (New): Impl. des Restrukturierungsalgorithmus
Algorithmus liefert eine neue Rollenverteilung für das Managed System
11:49 AM Produktionzelle Feature #464 (New): Impl. Abstraktes Modell MAPE-Loop
Lösungsvorschlag: Formal Models for Analysing Dynamic Adaptation Behavior in Real-Time Systems
11:47 AM Produktionzelle Feature #463 (New): Impl. Adaptation Rules (UPPAAL)
11:45 AM Produktionzelle Feature #462 (New): Trans. Managed System to UPPAL ohne O/C-TM
STATE
11:42 AM Produktionzelle Feature #461 (New): Impl. Managed System ohne O/C
11:38 AM Produktionzelle Support #459 (New): Def. Knowledge & Knowledge-Parameter
11:37 AM Produktionzelle Support #458 (New): Def. Control-Parameter

Also available in: Atom