Recherche avancée
Affichage des résultats 741 à 750 sur 1005 au total
-
Synthesis of Polyfused Heterocycle Derivatives Containing the Dipyridoimidazole Core by Friedländer’s Reaction: Access to Analogs of Ellipticine
-
Preliminary Study of Palladium Catalyzed Iminoannulation in an Imidazo[1,2-a]pyridine Series
-
DIMENSIONAL METROLOGY OF FLEXIBLE PARTS: IDENTIFICATION OF GEOMETRICAL DEVIATIONS FROM OPTICAL MEASUREMENTS
-
Définition d'une pièce test pour la caractérisation d'une machine UGV
-
Designing dependable logic controllers using the supervisory control theory
-
FROM FAULT TREE ANALYSIS TO MODEL CHECKING OF LOGIC CONTROLLERS
-
Fault detection of Discrete Event Systems using an identification approach
-
Verification of a timed multitask system with UPPAAL
-
Méthode formelle de commande sous contraintes de temps dans les dioïdes
-
Identification comportementale des systèmes logiques en vue de leur surveillance