Peter B. Ladkin wrote
>There's no indication on the WWW site that any formal methods were
>used for, say, requirements analysis (to ensure that the requirements
>are, for example, consistent and not underspecified). Do you happen
>to know if any such methods were used, and if so, what they were?
I don't know the answer to your question. I'll pass it on and see what we
can find out.
Regards
Alex.
This message does not constitute official EUROCONTROL correspondence.
The Organisation is not responsible for its contents or the consequences
of its use, nor for inaccurate transmission or misdirection.