Michel Levy

INTRODUCING DIGITAL CIRCUITS DESIGN AND FORMAL VERIFICATION CONCURRENTLY

Paul Amblard, Fabienne Lagnier, Michel Levy, 2000 .

The European Pressurized Water Reactor (EPR)

Michel Levy, Hartmut Seidelberger, 2014 .

Combining access technologies to stay best connected

Alistair Urie, Michel Levy, Jan Van Bogaert, 2006 .