A Novel Transient Fault Injection Methodology Based on STE Model Checking
A Novel Transient Fault Injection Methodology Based on STE Model Checking
Darbari, Ashish
f15dd5f5-341b-4bd1-9b21-d8e1b21f5304
Al-Hashimi, Bashir
0b29c671-a6d2-459c-af68-c4614dce3b5d
Harrod, Peter
d461ce2f-df8a-47ec-a380-167fd3f0bb60
Bradley, Daryl
11d0df6d-3025-4667-9d71-53fc0bf4fe6e
May 2008
Darbari, Ashish
f15dd5f5-341b-4bd1-9b21-d8e1b21f5304
Al-Hashimi, Bashir
0b29c671-a6d2-459c-af68-c4614dce3b5d
Harrod, Peter
d461ce2f-df8a-47ec-a380-167fd3f0bb60
Bradley, Daryl
11d0df6d-3025-4667-9d71-53fc0bf4fe6e
Darbari, Ashish, Al-Hashimi, Bashir, Harrod, Peter and Bradley, Daryl
(2008)
A Novel Transient Fault Injection Methodology Based on STE Model Checking.
European Test Symposium (ETS), Italy.
25 - 28 May 2008.
Record type:
Conference or Workshop Item
(Poster)
Text
ETS.pdf
- Version of Record
More information
Published date: May 2008
Additional Information:
Event Dates: May 25-28
Venue - Dates:
European Test Symposium (ETS), Italy, 2008-05-25 - 2008-05-28
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266025
URI: http://eprints.soton.ac.uk/id/eprint/266025
PURE UUID: acbf88f0-e00b-4307-a842-51eac3e972ff
Catalogue record
Date deposited: 02 Jul 2008 21:02
Last modified: 14 Mar 2024 08:18
Export record
Contributors
Author:
Ashish Darbari
Author:
Bashir Al-Hashimi
Author:
Peter Harrod
Author:
Daryl Bradley
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics