Liste complète des notices publiques
Page 81/2656
- Simulation répartie d'accès à des bâtiments
- IImplémentation d'une librairie OCAML pour le calcul des substitutions B
- Contribution à la modélisation pour le diagnostic des systèmes complexes : application à la signalisation des lignes à grande vitesse
- Assessment and certification of vital computer DIGISAFE
- Analyse des fonctions de contrôle longitudinal et latéral. Rapport de DEA : instrumentation et analyses avancées
- Le préviseur
- A prediction system for reliability improvement of the vehicle-follower control on the automated highwayY
- Visual tracking specifications for trucks platooning
- Comment conserver le niveau de sécurité antérieur d'une ligne de métro automatique lors de son extension
- Sécurité des logiciels critiques développés par la méthode B
- Sécurité active par détection d'obstacles, problèmes de la détection par radar
- Le concept de scénario. Application à l'analyse de sécurité des systèmes de transport guidés
- Diagnostic à base de modèles - Application à signalisation des lignes à grande vitesse
- Diagnostic à base de modèles - Application à signalisation des lignes à grande vitesse
- Contribution of case-based reasoning to the software error effect analysis
- Méthodes et outils d'aide à la capitalisation et à l'évaluation des études de sécurité basés sur l'utilisation des techniques d'intelligence artificielle
- Sécurité des réseaux informatiques embarqués dans le ferroviaire
- Contribution de l'intelligence artificielle à l'aide à la décision dans la gestion des systèmes de transport urbain collectif
- Analyse du mouvement dans les séquences d'images par une méthode récursive de filtrage spatio-temporel sélectif
- Oriented study of the tyre/road noise including the ground effects