samedi 9 février 2008

Model-checking

Interview très courte de J. Sifakis sur le Model Checking. Pour ceux qui ont raté le cours ... et les TD !

Aucun commentaire: