Rev | Line | |
---|
[105] | 1 | \begin{center} |
---|
| 2 | \begin{tabular}{cccccc}\toprule |
---|
| 3 | {\bf Rob} & {\bf Fault} & $ |Err|$ &$\nu_{ev} $&$ |
---|
| 4 | \nu_{pot}$& {\bf time}\\\midrule |
---|
| 5 | \multirow{2}{*}{Rob4} |
---|
| 6 | |
---|
| 7 | &SEU& 61654& 48\% & 100\% & 0\\ |
---|
| 8 | & MEU & 2.68e+08& 7\% & 100\% & 0 \\\midrule |
---|
| 9 | \multirow{2}{*}{Rob3} |
---|
| 10 | &SEU&1.43e+06& 45\% & 100\% & 1min\\ |
---|
| 11 | & MEU & 2.36e+11& 0.6\% & 100\% & 1min \\\midrule |
---|
| 12 | \multirow{2}{*}{Rob1} |
---|
| 13 | &SEU&1.43e+06& 30.5\% & - & 0\\ |
---|
| 14 | &MEU&2.36e+11& 0\% & - & 0 \\\bottomrule |
---|
| 15 | \end{tabular} |
---|
| 16 | \end{center} |
---|
| 17 | \begin{flushright} |
---|
| 18 | Originaly reachable states : 878 |
---|
| 19 | \end{flushright} |
---|
Note: See
TracBrowser
for help on using the repository browser.