Symbolic Simulation based Transient Fault Injection Methodology
Darbari, Ashish and Al-Hashimi, Bashir (2008) Symbolic Simulation based Transient Fault Injection Methodology.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_vnd.ms-powerpoint.png) |
Microsoft PowerPoint (Fault Iinjection Using Formal Methods)
Download (2693Kb) |
| Item Type: | Monograph (Technical Report) |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 265376 |
| Date Deposited: | 01 Apr 2008 12:38 |
| Last Modified: | 01 Mar 2012 11:37 |
| Contributors: | Darbari, Ashish (Author) Al-Hashimi, Bashir (Author) |
| Date: | 1 April 2008 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/265376 |
Actions (login required)
 |
View Item |
