Dependability Analysis of UPS Architectures for the Italian Railway Signaling System

Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna. Dependability Analysis of UPS Architectures for the Italian Railway Signaling System. In Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings. Volume 14198 of Lecture Notes in Computer Science, pages 98-114, Springer, 2023. [doi]

@inproceedings{MasettiGC23,
  title = {Dependability Analysis of UPS Architectures for the Italian Railway Signaling System},
  author = {Giulio Masetti and Felicita Di Giandomenico and Silvano Chiaradonna},
  year = {2023},
  doi = {10.1007/978-3-031-43366-5_6},
  url = {https://doi.org/10.1007/978-3-031-43366-5_6},
  researchr = {https://researchr.org/publication/MasettiGC23},
  cites = {0},
  citedby = {0},
  pages = {98-114},
  booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings},
  editor = {Birgit Milius and Simon Collart Dutilleul and Thierry Lecomte},
  volume = {14198},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-031-43366-5},
}