Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Joseph Sifakis, Personne interviewée ; Cécile Michaut, Intervieweur | Société d'éditions scientifiques |Entretien, en 2008, avec Joseph Sifakis, lauréat du prix Türing, qui expose les résultats de ses travaux concernant la mise au point d'un modèle mathématique de vérification et de fiabilité des logiciels, dit Model Checking. Les applications du [...]
