On the value of fault injection on the modeling level

Bernhard Aichernig

On the value of fault injection on the modeling level

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005
Publisher	.
Pages	59-71
Volume	CS-TR-969
Publication status	Published - 2006
Event	International Symposium of Formal Methods Europe - Newcastle upon Tyne, United Kingdom Duration: 18 Jul 2005 → 18 Jul 2005

Publication series

Name	University of Newcastle upon Tyne, Computer Science Technical Report Series

Conference

Conference	International Symposium of Formal Methods Europe
Country	United Kingdom
City	Newcastle upon Tyne
Period	18/07/05 → 18/07/05

1 Active

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area

Cite this

On the value of fault injection on the modeling level. / Aichernig, Bernhard.

Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005. Vol. CS-TR-969 ., 2006. p. 59-71 (University of Newcastle upon Tyne, Computer Science Technical Report Series).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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, University of Newcastle upon Tyne, Computer Science Technical Report Series, ., pp. 59-71, International Symposium of Formal Methods Europe, Newcastle upon Tyne, United Kingdom, 18/07/05.

@inproceedings{8f7acb3ca92b44aa839c9246e80fefe8,

title = "On the value of fault injection on the modeling level",

author = "Bernhard Aichernig",

year = "2006",

language = "English",

volume = "CS-TR-969",

series = "University of Newcastle upon Tyne, Computer Science Technical Report Series",

publisher = ".",

pages = "59--71",

booktitle = "Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005",

}

TY - GEN

T1 - On the value of fault injection on the modeling level

AU - Aichernig, Bernhard

PY - 2006

Y1 - 2006

M3 - Conference contribution

VL - CS-TR-969

T3 - University of Newcastle upon Tyne, Computer Science Technical Report Series

SP - 59

EP - 71

BT - Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005

PB - .

ER -