![Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile](https://www.researchgate.net/profile/Jean-Francois-Pradat-Peyre/publication/314045465/figure/fig1/AS:967559587299328@1607695590456/Net-R8-colored-model-of-the-alternate-bit-protocol_Q320.jpg)
Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile
Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre and Nicolas Tr`eves Efficient State-Based Analysis by
![网络与分布式系统用形式化技术- FORTE 2006/会议录-Elie Najm,Jean-Francois Pradat-Peyre,Véronique Viguié Donzeau-Go-计算机与互联网| 微博-随时随地分享身边的新鲜事儿 网络与分布式系统用形式化技术- FORTE 2006/会议录-Elie Najm,Jean-Francois Pradat-Peyre,Véronique Viguié Donzeau-Go-计算机与互联网| 微博-随时随地分享身边的新鲜事儿](https://img36.ddimg.cn/3/3/20003646-1_e.jpg?2023-01-04)
网络与分布式系统用形式化技术- FORTE 2006/会议录-Elie Najm,Jean-Francois Pradat-Peyre,Véronique Viguié Donzeau-Go-计算机与互联网| 微博-随时随地分享身边的新鲜事儿
![Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile](https://i1.rgstatic.net/ii/profile.image/277652779880448-1443208989034_Q512/Jean-Francois-Pradat-Peyre.jpg)
Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile
![Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile](https://www.researchgate.net/profile/Jean-Francois-Pradat-Peyre/publication/289207133/figure/fig4/AS:967560497475591@1607695807798/Splitting-m0-wrtIDa_Q320.jpg)
Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings | SpringerLink
![Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile](https://www.researchgate.net/profile/Jean-Francois-Pradat-Peyre/publication/289207133/figure/fig1/AS:967560497471491@1607695807698/A-set-of-firings-in-the-net-R1_Q320.jpg)
Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile
![Pratique des tests logiciels - Améliorer la... - Jean-François Pradat-Peyre - Livres - Furet du Nord Pratique des tests logiciels - Améliorer la... - Jean-François Pradat-Peyre - Livres - Furet du Nord](https://products-images.di-static.com/image/jean-francois-pradat-peyre-pratique-des-tests-logiciels/9782100819959_Q-475x500-1.jpg)
Pratique des tests logiciels - Améliorer la... - Jean-François Pradat-Peyre - Livres - Furet du Nord
![Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile](https://www.researchgate.net/profile/Jean-Francois-Pradat-Peyre/publication/289207133/figure/fig2/AS:967560497467394@1607695807738/Firings-and-permutations_Q320.jpg)
Jean-François PRADAT-PEYRE | Head of Faculty | Full Professor | Dpt Math-Info & LIP6 | Research profile
![Pratique des tests logiciels - Améliorer la... de Jean-François Pradat-Peyre - Grand Format - Livre - Decitre Pratique des tests logiciels - Améliorer la... de Jean-François Pradat-Peyre - Grand Format - Livre - Decitre](https://products-images.di-static.com/image/jean-francois-pradat-peyre-pratique-des-tests-logiciels/9782100819959-200x303-1.jpg)