Pascal Schreck
IdRefMots clés
FR |
EN
Algorithmes
Coq (logiciel)
Modélisation géométrique
Modélisation tridimensionnelle
Contraintes (intelligence artificielle)
Modèles géométriques
Graphes topologiques, Théorie des
Prototypage rapide
Topologie
Consensus
Systèmes Distribués asynchrones
Tolérance aux pannes
Télédiagnostic Collaboratif
Télédiagnostic
Tolérance aux fautes (ingénierie)
Traitement réparti
Programmes impératifs
Preuve de programmes
Langage C
ACSL