Abdelghani Benharref, Rachida Dssouli, Zineb Berbich, Isabelle Chrisment. Formal Specifications, TTCN and executable test cases for main IPv6 protocols.
International Workshop on Communication Software Engineering - IWCSE'2002, Dec 2002, Marrakech, Morocco.
⟨inria-00100963⟩