This commit is contained in:
Robin Clark 2012-05-12 11:22:19 +01:00
parent e1461615d7
commit 87bf343ac0

View File

@ -1943,7 +1943,7 @@ can only cover some.
FMMD not only has advantages of efficiency (reduction of state explosion), it also 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 provides the capability to model entire electro-mechanical-software systems using a common notation
and process. and processes.
%\ifthenelse {\boolean{paper}} %\ifthenelse {\boolean{paper}}
%{ %{
%\input{abstract} %\input{abstract}