robin/Robin_PHD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

typo

Browse Source
This commit is contained in:
Robin P. Clark 2013-04-16 08:20:37 +01:00
parent 1492fa7564
commit d3da869f3d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
submission_thesis/CH3_FMEA_criticism/copy.tex
View File

@ -377,7 +377,7 @@ All these FMEA based methodologies have the following short comings:
We now form a wish list, stating the features that we would want
in an improved FMEA methodology,
\begin{itemize}
\ietm Must be able to analyse {\fms} in hybrisd software/hardware systems,
\item Must be able to analyse {\fms} in hybrisd software/hardware systems,
\item No state explosion making analysis impractical,
\item Exhaustive checking (total failure coverage within {\fgs} all interacting component and failure modes checked),
\item Reasoning Traceable in system models,