Oscar Machado Quintela
- Email: machado.oscar@gmail.com
- Registered on: 04/18/2016
- Last connection: 11/22/2016
Issues
- Assigned issues: 0
- Reported issues: 15
Projects
- Produktionzelle (Manager, 11/22/2016)
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