On the value of fault injection on the modeling level

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

Original languageEnglish
Title of host publicationTowards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005
Publisher.
Pages59-71
VolumeCS-TR-969
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

Conference

ConferenceInternational Symposium of Formal Methods Europe
CountryUnited Kingdom
CityNewcastle upon Tyne
Period18/07/0518/07/05

Cite this

Aichernig, B. (2006). On the value of fault injection on the modeling level. In Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005 (Vol. CS-TR-969, pp. 59-71). (University of Newcastle upon Tyne, Computer Science Technical Report Series). ..