Parse Tree Structure in LTL Requirements Diagnosis

Ingo Hans Pill, Thomas Quaritsch, Franz Wotawa

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelThe 26th International Symposium on Software Reliability Engineering Workshops
Herausgeber (Verlag).
Seiten100-107
PublikationsstatusVeröffentlicht - 2015
VeranstaltungInternational Symposium on Software Reliability Engineering - Gaithersburg, MD, USA / Vereinigte Staaten
Dauer: 2 Nov. 20155 Nov. 2015

Konferenz

KonferenzInternational Symposium on Software Reliability Engineering
Land/GebietUSA / Vereinigte Staaten
OrtGaithersburg, MD
Zeitraum2/11/155/11/15

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Theoretical
  • Experimental

Dieses zitieren