Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
Article : texte imprimé
Joseph Sifakis, Personne interviewée ; Cécile Michaut, Intervieweur |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 [...]
