Line | |
---|
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& 270& 100\% & 100\% & 0\\ |
---|
8 | & MEU & 4.29e+09& 100\% & 100\% & 0 \\\midrule |
---|
9 | \multirow{2}{*}{Rob3} |
---|
10 | & SEU& 270 & 100\% & 100\% & 0.5\\ |
---|
11 | & MEU& 8.27e+10& 100\% & 100\% & 0.5 \\\midrule |
---|
12 | \multirow{2}{*}{Rob1} |
---|
13 | & SEU&270 &47.7\% & - & 0.7\\ |
---|
14 | & MEU&8.27e+10& 0\% & - & 2 \\\bottomrule |
---|
15 | \end{tabular} |
---|
16 | \end{center} |
---|
17 | \begin{flushright} |
---|
18 | Originaly reachable states : 90 |
---|
19 | \end{flushright} |
---|
Note: See
TracBrowser
for help on using the repository browser.