Login / Signup
Michel Lévy
Publication Activity (10 Years)
Years Active: 2002-2016
Publications (10 Years): 1
Top Topics
Regression Analysis
Test Data
Evaluation Model
Parameter Space
Top Venues
CoRR
</>
Publications
</>
Michel Lévy
The method "Model Elimination" of D.W.Loveland explained.
CoRR
(2016)
Lydie du Bousquet
,
Michel Lévy
Proof Process Evaluation with Mutation Analysis.
TAP@TOOLS
(2010)
Paul Amblard
,
Fabienne Lagnier
,
Michel Lévy
Introduction to formal processor verification at logic level: a case study.
WCAE
(2004)
Paul Amblard
,
Fabienne Lagnier
,
Michel Lévy
Using Formal Tools to Study Complex Circuits Behaviour.
DSD
(2002)