Recherche avancée
Affichage des résultats 541 à 550 sur 951 au total
-
Safety Analyzes of Mechatronics Systems: a Case Study
-
Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems
-
Active Fault-Tolerant Control of Timed Automata with Guards
-
Automated Partitioning of Concurrent Discrete Event Systems for Distributed Behavioural Identification
-
Freeform Machining Features: New Concepts and Classification
-
Modélisation et caractérisation des défauts de structure de machine-outil 5-axes pour la mesure in-process
-
Data Definition, Parameterisation and Standardisation of Machine-specified Process in Additive Manufacturing
-
Towards Alarm Flood Reduction
-
Recognition of Human Activity Based on Probabilistic Finite-State Automata
-
Editorial for the special issue on ‘smart manufacturing and digital factory’