The embedded software of an electricity meter: an experience in using formal methods in an industrial project

• Authors:

• André Arnold;Didier Bégay;Jean-Pierre Radoux

• Affiliations:

• -;-;-

• Venue:
• Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
• Year:
• 1997