Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems

Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock

Research output: Contribution to journal › Editorial › peer-review

Access to Document

@article{9a1b69ebc32c4ba3a9cb72cfbf1cfea0,

title = "Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems",

author = "Simon Collart-Dutilleul and Haxthausen, {Anne E.} and Thierry Lecomte and Jim Woodcock",

year = "2023",

month = mar,

day = "15",

doi = "10.1145/3578524",

language = "English",

volume = "35",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems

AU - Collart-Dutilleul, Simon

AU - Haxthausen, Anne E.

AU - Lecomte, Thierry

AU - Woodcock, Jim

PY - 2023/3/15

Y1 - 2023/3/15

UR - http://www.scopus.com/inward/record.url?scp=85151571806&partnerID=8YFLogxK

U2 - 10.1145/3578524

DO - 10.1145/3578524

M3 - Editorial

AN - SCOPUS:85151571806

SN - 0934-5043

VL - 35

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 1

M1 - 1

ER -