International Workshop on Principles of Diagnosis 2013

  • Ingo Hans Pill (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Beschreibung

Talk: Exploiting Parse Trees in LTL Specification Diagnosis
Zeitraum2 Okt. 2013
EreignistitelInternational Workshop on Principles of Diagnosis 2013
VeranstaltungstypKonferenz
OrtJerusalem, IsraelAuf Karte anzeigen