Symbolic Simulation based Transient Fault Injection Methodology


Darbari, Ashish and Al-Hashimi, Bashir (2008) Symbolic Simulation based Transient Fault Injection Methodology.

Download

[img] Microsoft PowerPoint (Fault Iinjection Using Formal Methods)
Download (2693Kb)
Item Type: Monograph (Technical Report)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 265376
Date Deposited: 01 Apr 2008 12:38
Last Modified: 27 Mar 2014 20:10
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/265376

Actions (login required)

View Item View Item