Marc Aiguier
IdRefMots clés
FR |
EN
Abstraction
Simulation par ordinateur
Systèmes à base de composants
Modèle de traces
Opérateurs d’intégration
Dynamique holomorphe
Systèmes embarqués
Délai de bout-en-bout
Raffinement
Systèmes synchrones
Systèmes embarqués (informatique)
Fiabilité
Méthodes formelles (informatique)
Informatique
Calcul formel
Annotation d'images
Classification hiérarchique d'images
Ontologies multimédia
Traitement d'images
Hiérarchie