Pierre Michel (Selection)

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

2

Odile Laurent, Pierre Michel, Virginie Wiels: Using Formal Verification Techniques to Reduce Simulation and Test Effort. FME 2001: 465-477

Selection of 1 from 3 records - Pierre Michel has 14 coauthors