| |
| 1997 | ||
|---|---|---|
| 3 | 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 | ||
| 2 | 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 | |
| 1 | André Arnold, Didier Bégay, Jean-Pierre Radoux: An Example of Use of Formal Methods to Debug an Embedded Software. FME 1996: 649-661 | |
| 1 | André Arnold | [1] [2] [3] |
| 2 | Didier Bégay | [1] [2] [3] |