Model-Based Mutation Testing of Hybrid Systems

Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn

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

Originalspracheenglisch
TitelFormal Methods for Components and Objects
Herausgeber (Verlag).
Seiten228-249
DOIs
PublikationsstatusVeröffentlicht - 2010
VeranstaltungInternational Symposium on Formal Methods for Components and Objects - Eindhoven, Niederlande
Dauer: 4 Nov. 20096 Nov. 2009

Publikationsreihe

NameLecture Notes in Computer Science

Konferenz

KonferenzInternational Symposium on Formal Methods for Components and Objects
Land/GebietNiederlande
OrtEindhoven
Zeitraum4/11/096/11/09

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Experimental
  • Theoretical

Dieses zitieren