Behavioral Diagnosis of LTL Specifications at Operator Level

Ingo Hans Pill, Thomas Quaritsch

Institute of Software Technology (7160)

Research output: Contribution to conference › Poster

1 results

Finished
FWF - MoDiaForTeD - Model-based Diagnosis for Formal Temporal Descriptions (MoDiaForTed)
Quaritsch, S. & Pill, I. H.
1/11/10 → 30/06/15
Project: Research project