Dependability assessment of large railway systems
type: Dataset
description: International audience
landing page: The Annual Reliability and Maintainability Symposium, RAMS 2013
keyword: conference-papers
keyword: formal-proof
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-pfcomputer-science-csperformance-cspf
keyword: maintenance
keyword: quantitative-evaluation
keyword: rams
keyword: reliability-modeling
keyword: spiautoengineering-sciences-physicsautomatic
keyword: timed-and-colored-petri-nets
issued: 2026-05-09T08:57:22.898802
modified: 2026-05-09T08:57:22.898807
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Dependability assessment of large railway systems
type: Distribution
format: HTML
access URL: https://hal.science/hal-00872414
issued: 2026-05-09T08:57:22.918959
modified: 2026-05-09T08:57:22.885625