Development of Critical Systems with UML/OCL and FoCaLiZe.

Messaoud Abbas, Fatima Haloua, Ammar Boucherit

Browse the full MEDI paper archive.