| |
| 2001 | ||
|---|---|---|
| 5 | Didier Bégay, Antoine Rauzy: A realistic involvement of formal methods. Softw., Pract. Exper. 31(2): 191-208 (2001) | |
| 1997 | ||
| 4 | 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): 93-110 (1997) | |
| 1996 | ||
| 3 | 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: 19-32 | |
| 2 | André Arnold, Didier Bégay, Jean-Pierre Radoux: An Example of Use of Formal Methods to Debug an Embedded Software. FME 1996: 649-661 | |
| 1980 | ||
| 1 | Didier Bégay, Laurent Kott: Preuves de programmes sans induction. CLAAP 1980: 182-198 | |
| 1 | André Arnold | [2] [3] [4] |
| 2 | Laurent Kott | [1] |
| 3 | Jean-Pierre Radoux | [2] [3] [4] |
| 4 | Antoine Rauzy | [5] |