Calcul exact des formes de Jordan et de Frobenius d'une matrice. (Exact computation of the Jordan and Frobenius forms of a matrix). - Patrick Ozello (1987)

INRETS experience of the highly critical software validation of the MAGGALY subway. - Anna Stuparu; Patrick Ozello; François Baranowski (ISSRE, 1993)