On the value of fault injection on the modeling level

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

Original languageEnglish
Title of host publicationTowards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005
Publication statusPublished - 2006
EventInternational Symposium of Formal Methods Europe - Newcastle upon Tyne, United Kingdom
Duration: 18 Jul 200518 Jul 2005

Publication series

NameUniversity of Newcastle upon Tyne, Computer Science Technical Report Series


ConferenceInternational Symposium of Formal Methods Europe
Country/TerritoryUnited Kingdom
CityNewcastle upon Tyne
  • Formal Methods

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

    1/01/95 → …

    Project: Research area

Cite this