MeFoSyLoMaRSS

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


15/02/2008
Intervenant(s) : Jörg Desel, KU Eischtätt, Allemagne; Olivier Bertrand, PhD student at LIPN and ONERA
Premier exposé : From Human Knowledge to Process Models.
Deuxième exposé : Towards a coloured Petri nets semantics for a chronicle language.
Plus d'informations ici
Laure.Petrucci (at) nulllipn.univ-paris13.fr
 Mentions légales
Carte du site |