Recherche avancée
Affichage des résultats 561 à 570 sur 830 au total
-
Une approche pour estimer la normale sur données discrètes et bruitées issues d'une numérisation 3D par capteur laser plan
-
Algebraic Synthesis of Transition Conditions of a State Model
-
Reactive control system design using the Supervisory Control Theory: evaluation of possibilities and limits
-
Supervision of an industrial plant subject to a maximal duration constraint
-
Building effective formal models to prove time properties of networked automation systems
-
Analyses de difficultés d'usinage pour les pièces de formes complexes : concept de viewer
-
NC-simulation for the prediction of surface finish in 5-axis High-Speed Machining
-
Vérification de propriétés quantitatives des systèmes logiques par model-checking hybride
-
5-axis iso-scallop tool paths along parallel planes
-
Algebraic synthesis of dependable logic controllers