Susanne Graf
IdRefMots clés
FR |
EN
Contrôle distribué
Méthodes formelles (informatique)
Réseaux de neurones
Sûreté
Méthodes formelles
Réseaux neuronaux (informatique)
Systèmes informatiques -- Mesures de sûreté
Systèmes à composants
Contrats
Vérification incrémentale
Design à base de composants
Contracts
Vérification compositionelle
Verification
Raffinement
Abstraction
Langages de programmation
Algorithmes d'approximation
Types abstraits de données (informatique)
CEGAR (algorithme)