Exploiting Parse Trees in LTL Specification Diagnosis

Ingo Hans Pill, Thomas Quaritsch

Institut für Softwaretechnologie (7160)

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

1 Ergebnisse

Abgeschlossen
FWF - MoDiaForTeD - Modellbasierte Diagnose für Formale Temporale Beschreibungen
Quaritsch, S. & Pill, I. H.
1/11/10 → 30/06/15
Projekt: Forschungsprojekt