Recherche avancée
Affichage des résultats 721 à 730 sur 854 au total
-
Numérisation 3D intelligente d'objets de formes inconnues basée sur des critères de qualité
-
Numérisation 3D intelligente d'objets de formes inconnues basée sur des critères de qualité
-
A generic approach to build plant models for DES verification purposes
-
Comparative Study Between the Timed Automata and the Recurrent Radial Basis Function for Discrete Event System Diagnosis
-
INCLUDING SYSTEMATIC FAULTS INTO FAULT TREE ANALYSIS
-
Formal Verification of Industrial Controllers: with or without a Plant model?
-
Evaluation of Response Time in Ethernet-based Automation Systems
-
LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL
-
Decomposition of forging dies for machining planning
-
Designing dependable logic controllers using algebraic specifications