MeFoSyLoMaRSS

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


19/01/2007
Intervenant(s) : Kurt Jensen (Univ. Aarhus, Denmaark), Alexandre Hamez (LIP6)
1- Introduction to two "smart" state space techniques. (Kurt Jensen)
2- Distributed model checking with libDMC (Alexandre Hamez)
Plus d'informations ici
Fabrice.Kordon (at) nulllip6.fr
 Mentions légales
Carte du site |