Travail #1 en MGL7160

Pour consulter les divers résumés

Pour consulter les divers résumés

Énoncé du travail

Choix d'un article

S.V.P. Commencez par consulter les articles déjà choisis, car un article ne peut pas être choisi par deux personnes différentes.

Pour voir les articles déjà choisis.
Pour obtenir la bibliographie commentée des articles décrivant des applications industrielles des méthodes formelles.
Pour sélectionner un article.

Pour remettre votre résumé

Pour remettre votre résumé, vous devez tout d'abord indiquer le nom du fichier dans lequel votre résumé devra être sauvegardé. Ce fichier correspond à votre nom de famille. Si un tel fichier ne semble pas exister, contactez-moi:

Pour choisir le fichier destination et ensuite soumettre votre résumé (si vous n'avez pas encore indiqué le nom du fichier et votre mot de passe).
Pour soumettre votre résumé (dans le cas où vous avez déjà indiqué le nom du fichier et votre mot de passe ou si vous voulez transmettre une nouvelle version de votre résumé).

Dernière mise à jour: janvier 2001