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 › Journal article › Research › peer-review

48 Downloads (Pure)

Access to Document

@article{d1a59dee93ec4f9da82c5ee08618bf95,

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",

doi = "10.1145/3578524",

language = "English",

volume = "35",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer U K",

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

Y1 - 2023

U2 - 10.1145/3578524

DO - 10.1145/3578524

M3 - Journal article

SN - 0934-5043

VL - 35

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 1

M1 - 1

ER -