Recherche avancée
Affichage des résultats 581 à 590 sur 948 au total
-
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
-
Response time evaluation in Ethernet-based automation architectures
-
Improving large-sized PLC programs verification using abstractions
-
New Opportunities with the Duff Reaction
-
Modeling and Response Time Evaluation of Ethernet-based control Architectures using Timed Event Graphs and Max-Plus Algebra