BibTeX record conf/rssrail/AmendolaBBCSFGG22

• > Home > conf/rssrail/AmendolaBBCSFGG22

@inproceedings{DBLP:conf/rssrail/AmendolaBBCSFGG22,
  author       = {Arturo Amendola and
                  Lorenzo Barruffo and
                  Marco Bozzano and
                  Alessandro Cimatti and
                  Salvatore De Simone and
                  Eugenio Fedeli and
                  Artem Gabbasov and
                  Domenico Ernesto Garrubba and
                  Massimiliano Girardi and
                  Diana Serra and
                  Roberto Tiella and
                  Gianni Zampedri},
  editor       = {Simon Collart Dutilleul and
                  Anne E. Haxthausen and
                  Thierry Lecomte},
  title        = {Formal Design and Validation of an Automatic Train Operation Control
                  System},
  booktitle    = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
                  Verification, and Certification - 4th International Conference, RSSRail
                  2022, Paris, France, June 1-2, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13294},
  pages        = {169--178},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-05814-1\_12},
  doi          = {10.1007/978-3-031-05814-1\_12},
  timestamp    = {Tue, 07 May 2024 20:13:39 +0200},
  biburl       = {https://dblp.org/rec/conf/rssrail/AmendolaBBCSFGG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}