Recherche avancée
Affichage des résultats 651 à 660 sur 948 au total
-
Conformance test of logic controllers of critical systems from industrial specifications
-
Improving the Efficiency of Dynamic Fault Tree Analysis by Considering Gate FDEP as Static
-
Analytical Calculation of Failure Probabilities in Dynamic Fault Trees including Spare Gates
-
Control of Time-Constrained Dual-Armed Cluster Tools Using (max, +) Algebra
-
Verification of a timed multitask system with UPPAAL
-
Identification and fault diagnosis of industrial closed-loop discrete event systems
-
OPTIMISATION D'UNE GAMME DE POLISSAGE SUR MOCN 5 AXES
-
Modular design for complex systems
-
Short and efficient access to imidazo[1,2-a]pyrrolo[3,2-c]pyridine derivatives
-
Un démonstrateur pour le test de conformité de contrôleurs logiques