\begin{taskinfo}
\let\IRISA\leader
\let\BULL\enable
\let\THALES\enable
\let\NAVTEL\enable
\let\ZIED\enable
\end{taskinfo}
%
\begin{objectif}
This task groups the demonstrators of the COACH project.
The demonstrators cover various domains and application types to drive
the specification choices and to check most of the COACH features.
\end{objectif}
%
\begin{workpackage}{D6}
  \item This \ST relies to the COACH use by \navtel.
    The application is A-COMPLETER-1-A-3-LIGNE .... ....  .... .... ....
    ... ...
    ... ...
    ... ...
    \begin{livrable}
    \item{V1}{0}{6}{x}{\Snavtel}{\navtel \ganttlf demonstrator specification}
        Choice of the demonstrator and its implementation as a PC C/C++ program.
    \item{VF}{7}{12}{x}{\Snavtel}{\navtel \ganttlf demonstrator specification}
        The demonstrator is described as a communicating task graph using the
        specification defined in the milestone T0+12.
    \item{V1}{13}{15}{d}{\Snavtel}{\navtel \ganttlf demonstrator}
        This deliverable is a report that describes the experimentation done with the
        T0+12 COACH milestone.
    \item{V2}{25}{27}{d}{\Snavtel}{\navtel \ganttlf demonstrator}
        This deliverable is a report that describes the experimentation done with the
        T0+24 COACH milestone.
    \item{VF}{30}{36}{d}{\Snavtel}{\navtel \ganttlf demonstrator}
        This deliverable is a report that describes the experimentation done with the
        pre-final COACH release.
    \end{livrable}
\end{workpackage}

