Debugging with Timed Automata Mutations

Bernhard Aichernig, Klaus Hörmaier, Florian Lukas Lorber

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Original languageEnglish
Title of host publicationComputer Safety, Reliability, and Security
EditorsAndrea Bondavalli, Felicita Di Giandomenico
PublisherSpringer International Publishing AG
Pages49-64
Volume8666
ISBN (Print)978-3-319-10506-2
DOIs
Publication statusPublished - 2014
EventInternational Conference on Computer Safety, Reliability and Security - Florenz, Italy
Duration: 10 Sep 201412 Sep 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing

Conference

ConferenceInternational Conference on Computer Safety, Reliability and Security
CountryItaly
CityFlorenz
Period10/09/1412/09/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this