|
Search the dblp DataBase
Didier Bégay:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] AMAST, 1996, pp:19-32 [Conf]
- André Arnold, Didier Bégay, Jean-Pierre Radoux
An Example of Use of Formal Methods to Debug an Embedded Software. [Citation Graph (0, 0)][DBLP] FME, 1996, pp:649-661 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1997, v:28, n:2-3, pp:93-110 [Journal]
- Didier Bégay, Antoine Rauzy
A realistic involvement of formal methods. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 2001, v:31, n:2, pp:191-208 [Journal]
Preuves de programmes sans induction. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|