Recherche avancée
Affichage des résultats 801 à 810 sur 977 au total
-
Conversion of 3D scanned point cloud into a voxel-based representation for crankshaft mass balancing
-
Efficient representation for formal verification of time performances of networked automation architectures
-
Linear Time-Varying (Max,+) Representation of Conflicting Timed Event Graphs
-
Networked Conflicting Timed Event Graphs Representation in (Max,+) Algebra
-
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