Marc Phalippou (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

10 Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou: Standardization of Formal Methods in Conformance Testing of Communication Protocols. Computer Networks and ISDN Systems 29(1): 3-14 (1996)

7 Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou: Formal Methods for Conformance Testing: Results and Perspectives. Protocol Test Systems 1993: 3-17

Selection of 2 from 10 records - Marc Phalippou has 6 coauthors

10		Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou: Standardization of Formal Methods in Conformance Testing of Communication Protocols. Computer Networks and ISDN Systems 29(1): 3-14 (1996)
7		Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou: Formal Methods for Conformance Testing: Results and Perspectives. Protocol Test Systems 1993: 3-17