Didier Bégay

According to our database, Didier Bégay authored at least 6 papers between 1980 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

A realistic involvement of formal methods.

Didier Bégay, Antoine Rauzy

Softw. Pract. Exp., 2001

1997

The Embedded Software of an Electricity Meter: An Experience in Using Formal Methods in an Industrial Project.

André Arnold, Didier Bégay, Jean-Pierre Radoux

Sci. Comput. Program., 1997

1996

An Example of Use of Formal Methods to Debug an Embedded Software.

André Arnold, Didier Bégay, Jean-Pierre Radoux

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project.

André Arnold, Didier Bégay, Jean-Pierre Radoux

Proceedings of the Algebraic Methodology and Software Technology, 1996

1994

Construction and Analysis of Transition Systems with MEC

André Arnold, Didier Bégay, Paul Crubillé

AMAST Series in Computing 3, World Scientific, ISBN: 978-981-4501-47-7, 1994

1980

Preuves de programmes sans induction.

Didier Bégay, Laurent Kott

Proceedings of the Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, 1980