Search

Your search keyword '"Sécurité ferroviaire"' showing total 34 results

Search Constraints

Start Over You searched for: Descriptor "Sécurité ferroviaire" Remove constraint Descriptor: "Sécurité ferroviaire" Publication Year Range Last 50 years Remove constraint Publication Year Range: Last 50 years
34 results on '"Sécurité ferroviaire"'

Search Results

1. Argumentaire de sécurité graphique pour l'assurance de sécurité des trains autonomes

2. Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS

Catalog

Books, media, physical & digital resources

3. Rapport d’avancement AMCER n° 2: 'Acquisition, Modélisation, Capitalisation et Evaluation des Risques'. Application au domaine de la sécurité des transports ferroviaires

4. Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires.

5. Rapport d’avancement AMCER n° 1 : 'Acquisition, Modélisation, Capitalisation et Evaluation des Risques'. Application au domaine de la sécurité des transports ferroviaires

6. Les activités de service public insusceptibles d'être tarifées

7. Ontologies for railway safety management : integration of the dysfunctional analysis into the design

8. Projet scientifique 'AMCER' : Acquisition, Modélisation, Capitalisation et Evaluation des Risques. Application au domaine de la sécurité des transports ferroviaires

9. Pratiques partagées ou divergentes d'allocation de niveaux d'intégrité de sécurité dans le domaine ferroviaire

10. Modélisation UML/B pour la validation des exigences de sécurité des règles d'exploitation ferroviaires

11. Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires

12. An Efficient Approach for Diagnosability and Diagnosis of DES Based on Labeled Petri Nets : Untimed and Timed Contexts

13. L’avènement d’un nouveau droit sectoriel : le droit applicable aux personnels des chemins de fer

14. Construction d'une ontologie d'aide au renforcement de la sécurité des systèmes de transport automatisés

15. Modélisation discrète et formelle des exigences temporelles pour la validation et l’évaluation de la sécurité ferroviaire

16. Sécurité des systèmes de contrôle-commande et signalisation ferroviaire: nouvelle approche d'analyse préliminaire des risques

17. Prise en compte des facteurs humains dans la sécurité ferroviaires

18. La situation sociale des railroadmen à l'aune de l'évolution du système ferroviaire américain

19. Retour d’expérience et facteur humain. Application à la sécurité des transports ferroviaires

20. Rail safety and human factors. Contribution of chronobiology of vigilance

21. Méthodes et outils d’aide à l’évaluation des études de sécurité basés sur l’utilisation des techniques d’intelligence artificielle

22. Le concept de scénarios. Application à l’analyse de sécurité des systèmes de transport guidés

23. Projet 'FACTHUS' : prise en compte des facteurs humains dans les transports ferroviaires guidés

24. Méthodes et outils d’aide aux analyses de sécurité dans le domaine des transports terrestres guidés

25. La maîtrise des risques dans le domaine des automatismes des systèmes de transport guidés : Le problème de l'évaluation des analyses préliminaires de risques

26. ACASYA: a learning system for functional safety analysis

27. Évaluation des méthodes de développement, de validation et d'homologation du système ANTARES de signalisation, de contrôle de vitesse et d'aide à la conduite du RER-Ligne C-Paris. Étape 1 : Identification du problème

28. Conclusions de l'examen des méthodes de validation et d'homologation de la TVM 430 (Transmission Voie- Machine) du TGV Nord

29. Deux approches contextuelles et hors contexte basées sur l'apprentissage pour l'aide à la génération d'exemples. Application à la certification des systèmes de transport automatisés

30. Lien Fixe Transmanche : Expression formelle du choix de la vitesse du train et évaluation

31. Machine learning and knowledge acquisition: two complementary approaches for knowledge-based systems. Application to the 'ACASYA' system for assistance in the certification of automated transport systems

32. Système expert à apprentissage pour l'aide à l'analyse de sécurité. Application à la certification des systèmes de transport automatisés

33. Complémentarité des deux mécanismes d'apprentissage 'Clasca' et 'Charade' pour le développement d'un système à base de connaissances. Application à la certification des systèmes de transport automatisés

34. Approche méthodologique d'aide à la certification des systèmes de transport automatisés basée sur l'apprentissage