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& 25 633& 100\% & 100\% & 0\\ |
---|
8 | & MEU & 5.37e+08& 100\% & 100\% & 0 \\\midrule |
---|
9 | \multirow{2}{*}{Rob3} |
---|
10 | &SEU& 334 248 & 83.5\% & 100\% & 0.5\\ |
---|
11 | & MEU& 4.72e+11& 8.5\% & 100\% & 0.5 \\\midrule |
---|
12 | \multirow{2}{*}{Rob1} |
---|
13 | &SEU&334 248 &32.7\% & - & 0.7\\ |
---|
14 | &MEU&4.72e+11& 0\% & - & 2 \\\bottomrule |
---|
15 | \end{tabular} |
---|
16 | \end{center} |
---|
17 | \begin{flushright} |
---|
18 | Originaly reachable states : 879 |
---|
19 | \end{flushright} |
---|
Note: See
TracBrowser
for help on using the repository browser.