%0 Conference Paper %1 conf/safecomp/BernardiFMMPV11 %A Bernardi, Simona %A Flammini, Francesco %A Marrone, Stefano %A Merseguer, José %A Papa, Camilla %A Vittorini, Valeria %B SAFECOMP %D 2011 %E Flammini, Francesco %E Bologna, Sandro %E Vittorini, Valeria %I Springer %K dblp %P 15-28 %T Model-Driven Availability Evaluation of Railway Control Systems. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2011.html#BernardiFMMPV11 %V 6894 %@ 978-3-642-24269-4

@inproceedings{conf/safecomp/BernardiFMMPV11, added-at = {2022-04-09T00:00:00.000+0200}, author = {Bernardi, Simona and Flammini, Francesco and Marrone, Stefano and Merseguer, José and Papa, Camilla and Vittorini, Valeria}, biburl = {https://www.bibsonomy.org/bibtex/2232de60fcdda9a13b0aa7f93fb3bfca0/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2011}, editor = {Flammini, Francesco and Bologna, Sandro and Vittorini, Valeria}, ee = {https://doi.org/10.1007/978-3-642-24270-0_2}, interhash = {466e1a3485849856bf839a72e2f9ffe8}, intrahash = {232de60fcdda9a13b0aa7f93fb3bfca0}, isbn = {978-3-642-24269-4}, keywords = {dblp}, pages = {15-28}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:59:55.000+0200}, title = {Model-Driven Availability Evaluation of Railway Control Systems.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2011.html#BernardiFMMPV11}, volume = 6894, year = 2011 }