| |
| | DBLP: Henri Michel |
 | | Ludovic Tambour, Nacer-Eddine Zergainoh, Pascal Urard, Henri Michel, Ahmed Amine Jerraya: An Efficient Methodology and Semi-Automated Flow for Design and Validation of Complex Digital Signal Processing ASICS Macro-Cells. |
 | | Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel: Code-Based Test Generation for Validation of Functional Processor Descriptions. |
 | | Jean-Daniel Boissonnat, Katrin Dobrindt, Bernhard Geiger, Henri Michel: A Global Motion Planner for a Mobile Robot on a Terrain. |
| www.informatik.uni-trier.de /~ley/db/indices/a-tree/m/Michel:Henri.html (108 words) |
|