dblp.uni-trier.dewww.uni-trier.de

Jean-Pierre Radoux

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1André Arnold [1] [2] [3]
2Didier Bégay [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)