%0 Conference Paper %1 conf/rssrail/AmendolaBBCSFGG22 %A Amendola, Arturo %A Barruffo, Lorenzo %A Bozzano, Marco %A Cimatti, Alessandro %A Simone, Salvatore De %A Fedeli, Eugenio %A Gabbasov, Artem %A Garrubba, Domenico Ernesto %A Girardi, Massimiliano %A Serra, Diana %A Tiella, Roberto %A Zampedri, Gianni %B RSSRail %D 2022 %E Dutilleul, Simon Collart %E Haxthausen, Anne E. %E Lecomte, Thierry %I Springer %K dblp %P 169-178 %T Formal Design and Validation of an Automatic Train Operation Control System. %U http://dblp.uni-trier.de/db/conf/rssrail/rssrail2022.html#AmendolaBBCSFGG22 %V 13294 %@ 978-3-031-05814-1

@inproceedings{conf/rssrail/AmendolaBBCSFGG22, added-at = {2024-05-07T00:00:00.000+0200}, author = {Amendola, Arturo and Barruffo, Lorenzo and Bozzano, Marco and Cimatti, Alessandro and Simone, Salvatore De and Fedeli, Eugenio and Gabbasov, Artem and Garrubba, Domenico Ernesto and Girardi, Massimiliano and Serra, Diana and Tiella, Roberto and Zampedri, Gianni}, biburl = {https://www.bibsonomy.org/bibtex/2d548d9584cde828a922052543a5ca096/dblp}, booktitle = {RSSRail}, crossref = {conf/rssrail/2022}, editor = {Dutilleul, Simon Collart and Haxthausen, Anne E. and Lecomte, Thierry}, ee = {https://doi.org/10.1007/978-3-031-05814-1_12}, interhash = {dd1a5fd5b64110917087f6d38f9df41f}, intrahash = {d548d9584cde828a922052543a5ca096}, isbn = {978-3-031-05814-1}, keywords = {dblp}, pages = {169-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:52:31.000+0200}, title = {Formal Design and Validation of an Automatic Train Operation Control System.}, url = {http://dblp.uni-trier.de/db/conf/rssrail/rssrail2022.html#AmendolaBBCSFGG22}, volume = 13294, year = 2022 }