Média
Partenaires
Recherche
Activités

Titre: Intégration de méthodes formelles et semi formelles pour la spécification et la vérification des systèmes réactifs
Conférencier: Dr. Leila Jemni Ben Ayed , Faculté des sciences de Tunis, Tunisie
Lieu: Université de Montréal , Pavillon André-Aisenstadt, salle 2166
Date et heure: mercredi le 22 novembre 2006 de 14:30 à 16:30

Résumé:

Voyez tous les séminaires >>>