Recherche avancée
Affichage des résultats 211 à 220 sur 835 au total
-
CAD-based Calibration of a 3D DIC System
-
Indoor Location Tracking Based on a Discrete Event Model
-
Contribution à la modélisation réaliste et multi-échelles des systèmes bouclés temporisés
-
Influence of bus partitioning on the reliability of transmissions
-
Systematic extraction of Minimal Cut Sequences from a BDMP model
-
Identification of Industrial Automation Systems: Building Compact and Expressive Petri Net Models from Observable Behavior
-
Méthodologie de maîtrise des variations géométriques des produits en conception, fabrication et contrôle dans le contexte de l'usine numérique
-
Génération d'une machine de Mealy à partir de spécifications algébriques à des fins de test de conformité
-
Intégration des effets des dilatations thermiques dans le tolérancement
-
Algebraic synthesis of logical controllers with optimization criteria