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é: