Debugging with Timed Automata Mutations

Bernhard Aichernig, Klaus Hörmaier, Florian Lukas Lorber

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

Originalspracheenglisch
TitelComputer Safety, Reliability, and Security
Redakteure/-innenAndrea Bondavalli, Felicita Di Giandomenico
Herausgeber (Verlag)Springer International Publishing AG
Seiten49-64
Band8666
ISBN (Print)978-3-319-10506-2
DOIs
PublikationsstatusVeröffentlicht - 2014
VeranstaltungInternational Conference on Computer Safety, Reliability and Security - Florenz, Italien
Dauer: 10 Sep 201412 Sep 2014

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer International Publishing

Konferenz

KonferenzInternational Conference on Computer Safety, Reliability and Security
LandItalien
OrtFlorenz
Zeitraum10/09/1412/09/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren