Marc Phalippou (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

3 Marc Phalippou, Roland Groz: From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. FORTE 1990: 175-190

1 Marc Phalippou, Roland Groz: Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. FORTE 1988: 185-199

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

3		Marc Phalippou, Roland Groz: From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. FORTE 1990: 175-190
1		Marc Phalippou, Roland Groz: Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. FORTE 1988: 185-199