Recherche avancée
Affichage des résultats 601 à 610 sur 975 au total
-
Cross-layer rate control, medium access control and routing design in cooperative VANET
-
Feed drive simulation for the prediction of the tool path follow up in High Speed Machinning
-
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