Liste complète des notices publiques
Page 1928/2656
- Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers
- Méthodes de validation des modèles d'erreurs de pseudodistances en fonction de l'environnement de propagation
- Modélisation des erreurs de pseudodistances pour l'amélioration de la localisation
- Simulation approaches to evaluate dependability of satellite-based positioning services in railway transportation applications
- A Real-Time, Multi-View Fall Detection System: a LHMM-Based Approach
- Utilisation du contexte dans l'adaptation d'applications dédiées aux transports
- L'automatisation des contrôles de vitesse, les nouvelles technologies et le gendarme
- Optimal design of dependable control system architectures using temporal sequences of failures
- « ALoCSyS », un outil logiciel d'aide à la conception de systèmes d'automatisation sûrs de fonctionnement
- Amélioration de la sûreté de fonctionnement du ferroutage par le concept du wagon intelligent
- Etude de la conception d'un système d'aide à la conduite de trains lors du dysfonctionnement du système de signalisation ERTMS
- Design of the driver assistance system for train's control in case of signaling system ERTMS dysfunction
- ROSA, WP3-Case studies
- The antioscillator model and the finite element method
- The Cost Benefit Analysis of level crossing safety measure
- Attitude et dynamique de la confiance dans les alertes et les assistances à la conduite (ADAAC)
- Construction du rapport à la règle chez l'enfant et l'adolescent : effet de l'identité sexuée et de la catégorisation morale
- L'enfant piéton et son environnement : Développement de compétences et influences sociales
- Construction sociale des comportements de l'enfant piéton : synthèse de recherches sur la socialisation au risque
- Monitoring of Temporal Requirements with Stocharts Observation Patterns, Application to a Level Crossing Control System