| 2000 |
|---|
| 6 | EE | Jorge Núñez-Suárez,
Donie O'Sullivan,
Henri Brouchoud,
Patrice Cros,
Clair Moore,
Ciara Byrne:
Experiences in the use of FIPA agent technologies for the development of a personal travel application.
Agents 2000: 357-364 |
| 1992 |
|---|
| 5 | | Yamine Aït Ameur,
Patrice Cros,
J.-J. Falcon,
A. Gomez:
An Application of Abstract Interpretation to Floating Point Arithmetic.
WSA 1992: 205-212 |
| 1991 |
|---|
| 4 | | Jacques Cazin,
Patrice Cros,
René Jacquart,
Michel Lemoine,
P. Michel:
Construction and Reuse of Formal Program Developments.
TAPSOFT, Vol.2 1991: 120-136 |
| 1980 |
|---|
| 3 | | Paul Bourret,
Patrice Cros:
A Deterministic Model of Operating Systems.
IFIP Congress 1980: 275-280 |
| 2 | | Paul Bourret,
Patrice Cros:
Presentation and Correction of Errors in Operating System Measurements.
IEEE Trans. Software Eng. 6(4): 395-398 (1980) |
| 1976 |
|---|
| 1 | | L. Boi,
Patrice Cros,
J. P. Drucbert,
J. Y. Rousselot,
Paul Bourret,
R. Trepos:
A Performance Evaluation of the CII SIRIS 8 Operating System. Methodology, Tools and First Results.
Performance 1976: 67-80 |
