Parse Tree Structure in LTL Requirements Diagnosis

Ingo Hans Pill, Thomas Quaritsch, Franz Wotawa

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

1 Laufend
2 Abgeschlossen

3 Ergebnisse

Laufend
Artificial Intelligence & Applications
Pill, I. H., Wotawa, F. & Haase, V.
16/11/00 → …
Projekt: Arbeitsgebiet
Abgeschlossen
eDAS - Holistisches Energiemanagement fuer die 3. und 4. Generation von E-Fahrzeugen: eDAS = Effizienz unterstuetzt durch intelligentes Design
Wotawa, F.
1/10/13 → 30/09/16
Projekt: Forschungsprojekt
FWF - MoDiaForTeD - Modellbasierte Diagnose für Formale Temporale Beschreibungen
Quaritsch, S. & Pill, I. H.
1/11/10 → 30/06/15
Projekt: Forschungsprojekt