Login / Signup

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

André ArnoldDidier BégayJean-Pierre Radoux
Published in: Sci. Comput. Program. (1997)
Keyphrases