Behavioral Diagnosis of LTL Specifications at Operator Level

Ingo Hans Pill, Thomas Quaritsch

Institut für Softwaretechnologie (7160)

Publikation: Konferenzbeitrag › Poster

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