| 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 |
