%0 Conference Paper %1 conf/isola/FantechiGG22 %A Fantechi, Alessandro %A Gnesi, Stefania %A Gori, Gloria %B ISoLA (4) %D 2022 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 269-285 %T Future Train Control Systems: Challenges for Dependability Assessment. %U http://dblp.uni-trier.de/db/conf/isola/isola2022-4.html#FantechiGG22 %V 13704 %@ 978-3-031-19762-8

@inproceedings{conf/isola/FantechiGG22, added-at = {2022-11-13T00:00:00.000+0100}, author = {Fantechi, Alessandro and Gnesi, Stefania and Gori, Gloria}, biburl = {https://www.bibsonomy.org/bibtex/2f0dda95841a502457bfa949a9a15e745/dblp}, booktitle = {ISoLA (4)}, crossref = {conf/isola/2022-4}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-031-19762-8_21}, interhash = {16e6be82fc17b7afe48a04bfb0160215}, intrahash = {f0dda95841a502457bfa949a9a15e745}, isbn = {978-3-031-19762-8}, keywords = {dblp}, pages = {269-285}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:11:47.000+0200}, title = {Future Train Control Systems: Challenges for Dependability Assessment.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2022-4.html#FantechiGG22}, volume = 13704, year = 2022 }