Login / Signup
Didier Bégay
Publication Activity (10 Years)
Years Active: 1980-2001
Publications (10 Years): 0
</>
Publications
</>
Didier Bégay
,
Antoine Rauzy
A realistic involvement of formal methods.
Softw. Pract. Exp.
31 (2) (2001)
André Arnold
,
Didier Bégay
,
Jean-Pierre Radoux
The Embedded Software of an Electricity Meter: An Experience in Using Formal Methods in an Industrial Project.
Sci. Comput. Program.
28 (2-3) (1997)
André Arnold
,
Didier Bégay
,
Jean-Pierre Radoux
The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project.
AMAST
(1996)
André Arnold
,
Didier Bégay
,
Jean-Pierre Radoux
An Example of Use of Formal Methods to Debug an Embedded Software.
FME
(1996)
Didier Bégay
,
Laurent Kott
Preuves de programmes sans induction.
CLAAP
(1980)