DARRICAU Myriam
Forschungsleitung (Direction de recherche) : Jean-Gabriel GANASCIA
Co-Betreuung : HADJ-MABROUK H.
Capitalisation, évaluation et réutilisation des erreurs des logiciels critiques de sécurité . Application à la certification des systèmes de transport guidés
Verteidigung einer Doktorarbeit : 04.02.1999
Datum, an dem das LIP6 verlassen wurde : 04.02.2000Publikationen 1997-1999
-
1999
- M. Darricau : “Capitalisation, évaluation et réutilisation des erreurs des logiciels critiques de sécurité . Application à la certification des systèmes de transport guidés”, these, verteidigung einer doktorarbeit 04.02.1999, forschungsleitung (direction de recherche) Ganascia, Jean-Gabriel, co-betreuung : Hadj-mabrouk, H. (1999)
-
1998
- M. Darricau, H. Hadj‑Mabrouk, J.‑G. Ganascia : “A model for reusing specifications of safety-critical software in the field of automated people movers”, Congrès IEEE, Computational engineering in systems applications, Nabeul-Hammamet, Tunisia, pp. 1-4 (1998)
-
1997
- M. Darricau, H. Hadj‑Mabrouk, J.‑G. Ganascia : “Une approche pour la réutilisation des spécifications de logiciels. Application au domaine de la sécurité des systèmes de transport guidés”, Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, vol. EC2 (45), pp. 2-8, (Génie industriel multimédia) (1997)
- M. Darricau, H. Hadj‑Mabrouk, J.‑G. Ganascia : “Acquisition and structuration of knowledge of safety critical software specifications”, 8th IFAC Symposium on Transportation Systems, vol. 30 (8), IFAC Proceedings Volumes, Chania, Greece, pp. 1151-1155, (Elsevier) (1997)