Le moteur de recherche
des thèses françaises
Guy Vidal-Naquet
IdRefMots clés
FR |
EN
Réseaux de Petri
Parallélisme (informatique)
Ingénierie dirigée par les modèles
Algorithmes
Fiabilité
Systèmes informatiques
Systèmes embarqués (informatique)
Systèmes embarqués
UML
UML (informatique)
Ingénierie Dirigée par les Modèles
Méthodes formelles (informatique)
Interfaces utilisateur (informatique)
Décidabilité (logique mathématique)
Apprentissage à partir d'exemples
Intelligence artificielle
Complexité
Programmation orientée objets (informatique)
Système embarqué
Ingénierie dirigée par les modèles (IDM)