Hélène Collavizza
IdRefMots clés
FR |
EN
Programmation par contraintes
Logiciels -- Vérification
Vérification de programme
Essai
Debogage
Localisation d'erreurs
Débogage
Systèmes embarqués (informatique)
Vérification de programmes
Nombres flottants
Stratégies de recherches
Arithmétique en virgule flottante
Microprocesseurs
Langages de programmation -- Sémantique
Conception de modèles complexes
Modélisation discrète
Réseaux de régulation biologique
Réseaux de R. Thomas
Cancer du pancréas
Bio-Informatique