MeFoSyLoMaRSS

Méthodes Formelles pour les Systèmes Logiciels et Matériels


05/10/2007
Intervenant(s) : Elisabeth Pelz, LACL, Université Paris 12 - UPVM ; Anastasia Yartseva, doctorante à l'IBISC
Premier exposé : Modèles formels basés sur des réseaux de Petri HL compositionnels pour la communication multicast dans des réseaux d'interconnexions multicouche.
Deuxième exposé : MIN : un formalisme pour la modélisation des réseaux biologiques.
Plus d'informations ici
Fabrice.Kordon (at) nulllip6.fr
 Mentions légales
Carte du site |