Auteur Emmanuelle Encrenaz-Tiphene
Documents disponibles écrits par cet auteur (1)
Affiner la recherche
Article : texte imprimé
L’article présente trois grandes classes de méthodes formelles utilisées pour assurer des propriétés fonctionnelles (de parties) de systèmes embarqués : la démonstration assistée de preuve, l’examen automatisé des comportements du système (model[...]
