Glossaire

# Abstraction

Dans les ressources documentaires

Articles de références et fiches pratiques à propos de : Abstraction

Méthodes formelles pour la vérification des systèmes [...]
Réf : H8250

). Flot de conception . Le système à réaliser est généralement modélisé à différents niveaux d'abstraction... . Elle demande peu de changements dans les pratiques de conception. Les niveaux d'abstractions et langages... des séquences du [...]

10 févr. 2013

Banques de données en chimie
Réf : K40

. Le détail de la couverture de Chemical Abstracts en est le reflet. En tant que technique, la chimie... les investissements nécessaires (cf. Chemical Abstracts Services §  3.1 ) ; l’ itérativité des données  : l’aspect... de la [...]

10 nov. 2001

Approches symboliques pour le contrôle des systèmes [...]
Réf : S7467

 ou de logiques temporelles. Dans ce contexte, les approches symboliques, qui reposent sur l’abstraction... expose de manière didactique les éléments clés de ces approches (abstraction, synthèse... sur trois étapes [...]

10 sept. 2024

Dans l'actualité

Actualité à propos de : Abstraction

Article d'actualité Christophe Bonnal : "Dépolluer le ciel, un défi pour le trafic spatial"
27 Novembre 2024
Christophe Bonnal : "Dépolluer le ciel, un ...

Le monde de l’espace évolue, et avec lui son éthique. Il semble ainsi inconcevable, aujourd’hui, d’envisager l’exploitation du ciel – qu’il s’agisse de l’envoi...

Toute l'actualité

Inscrivez-vous aux newsletters !

Contactez-nous