diff --git a/submission_thesis/CH4_FMMD/copy.tex b/submission_thesis/CH4_FMMD/copy.tex index 6c9f1d7..eb55035 100644 --- a/submission_thesis/CH4_FMMD/copy.tex +++ b/submission_thesis/CH4_FMMD/copy.tex @@ -1943,7 +1943,7 @@ can only cover some. FMMD not only has advantages of efficiency (reduction of state explosion), it also provides the capability to model entire electro-mechanical-software systems using a common notation -and process. +and processes. %\ifthenelse {\boolean{paper}} %{ %\input{abstract}