En savoir plus
Compétition et partenariat

Constitution d'une communauté scientifique, partenariat avec le secteur privé, compétition entre laboratoires: Joseph Sifakis évoque les grandes étapes qui ont amené à l'utilisation du model checking.

Publiée le : 25 juin 2008