Recherche avancée
Affichage des résultats 821 à 830 sur 993 au total
-
Representation of the mechanical assemblies and of the specifications by graphs
-
Efficient representation for formal verification of PLC programs
-
Identification de SED au moyen de réseaux de Petri : une approche pour la représentation structurelle des comportements observés
-
Représentations formelles efficaces pour l'aide à la certification de contrôleurs logiques industriels
-
Toward design optimization of a Pelton turbine runner
-
Opto-mechanical modelling of an additive manufacturing laser scanning head including assembly defects
-
Calibration of galvanometric scan heads for additive manufacturing with machine assembly defects consideration
-
Test artefacts for additive manufacturing: A design methodology review
-
In situ calibration of galvanometric scanning head for laser powder bed fusion machines based on a vision system
-
Min-Plus realizable control design for partially observable timed event graphs under marking constraints.