| 2007 |
|---|
| 7 | EE | Benoît Combemale,
Xavier Crégut,
Marc Pantel,
P. Michel:
SéMo'07, premier atelier sur la sémantique des modèles.
L'OBJET 13(4): 137-144 (2007) |
| 2005 |
|---|
| 6 | EE | S. Weber,
Pierre-Henri Maire,
R. Loubère,
G. Riazuelo,
P. Michel,
V. Tikhonchuk,
Jean Ovadia:
A transport simulation code for inertial confinement fusion relevant laser-plasma interaction.
Computer Physics Communications 168(3): 141-158 (2005) |
| 1991 |
|---|
| 5 | | Jacques Cazin,
Patrice Cros,
René Jacquart,
Michel Lemoine,
P. Michel:
Construction and Reuse of Formal Program Developments.
TAPSOFT, Vol.2 1991: 120-136 |
| 1989 |
|---|
| 4 | | Jacques Cazin,
René Jacquart,
Michel Lemoine,
P. Michel,
P. Maurice:
Method Driven Programming.
IFIP Congress 1989: 351-356 |
| 1985 |
|---|
| 3 | EE | Jacques Cazin,
René Jacquart,
P. Michel:
The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic.
ER 1985: 216-223 |
| 1978 |
|---|
| 2 | | L. Boi,
P. Michel:
Design and Principles of a Fault Tolerant System.
ICSE 1978: 207-214 |
| 1 | | L. Boi,
P. Michel:
An Approach to a Fault-Tolerant System Architecture.
ISCA 1978: 123-130 |
