Méthodes Formelles pour les Systèmes Logiciels et Matériels
Friday, February 15, 2008Jö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.