| 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 |
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). ..