On the value of fault injection on the modeling level

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

Originalspracheenglisch
TitelTowards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005
Herausgeber (Verlag).
Seiten59-71
BandCS-TR-969
PublikationsstatusVeröffentlicht - 2006
VeranstaltungInternational Symposium of Formal Methods Europe - Newcastle upon Tyne, Großbritannien / Vereinigtes Königreich
Dauer: 18 Juli 200518 Juli 2005

Publikationsreihe

NameUniversity of Newcastle upon Tyne, Computer Science Technical Report Series

Konferenz

KonferenzInternational Symposium of Formal Methods Europe
Land/GebietGroßbritannien / Vereinigtes Königreich
OrtNewcastle upon Tyne
Zeitraum18/07/0518/07/05
  • Formale Methoden

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Projekt: Arbeitsgebiet

Dieses zitieren