MeFoSyLoMaRSS

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

16/11/2007
المتدخلون) المتدخل) : Ekkart Kindler, Institut fuer Informatik Universitaet Paderborn; Benoit Calvez, doctorant à l'IBISC
Premier exposé : Modelling Software! Forget about Programming!
Deuxième exposé : Ant Colony Systems and the Calibration of Multi-Agent Simulations.

لمعلومات أكـثر أنقـر هنا
Fabrice.Kordon (at) nulllip6.fr
Mentions légales
خـريـطـة المـوقـع