Liste complète des notices publiques
Page 81/2657
- Etude de modèles B pour la gestion des contrôles d'accès à des bâtiments
- La route automatisée : Etat de l'art
- Référentiel de sécurité pour les automatismes dans les transports guidés
- ISIS: A fail-safe interface realised in smart-power technology
- Législation et réglementation de la sécurité dans les transports publics guidés
- Lien de communication courte portée (DSRC). Construction d'un banc de tests automatique
- 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