@inproceedings{DBLP:conf/rssrail/BasileFRM19,
  author       = {Davide Basile and
                  Alessandro Fantechi and
                  Luigi Rucher and
                  Gianluca Mand{\`{o}}},
  editor       = {Simon Collart Dutilleul and
                  Thierry Lecomte and
                  Alexander B. Romanovsky},
  title        = {Statistical Model Checking of Hazards in an Autonomous Tramway Positioning
                  System},
  booktitle    = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
                  Verification, and Certification - Third International Conference,
                  RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  pages        = {41--58},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-18744-6\_3},
  doi          = {10.1007/978-3-030-18744-6\_3},
  timestamp    = {Thu, 02 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rssrail/BasileFRM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"tc2uWhgCBQwQzP4yX","bibbaseid":"basile-fantechi-rucher-mand-statisticalmodelcheckingofhazardsinanautonomoustramwaypositioningsystem-2019","author_short":["Basile, D.","Fantechi, A.","Rucher, L.","Mandò, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Basile"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Fantechi"],"suffixes":[]},{"firstnames":["Luigi"],"propositions":[],"lastnames":["Rucher"],"suffixes":[]},{"firstnames":["Gianluca"],"propositions":[],"lastnames":["Mandò"],"suffixes":[]}],"editor":[{"firstnames":["Simon","Collart"],"propositions":[],"lastnames":["Dutilleul"],"suffixes":[]},{"firstnames":["Thierry"],"propositions":[],"lastnames":["Lecomte"],"suffixes":[]},{"firstnames":["Alexander","B."],"propositions":[],"lastnames":["Romanovsky"],"suffixes":[]}],"title":"Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System","booktitle":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings","series":"Lecture Notes in Computer Science","pages":"41–58","publisher":"Springer","year":"2019","url":"https://doi.org/10.1007/978-3-030-18744-6\\_3","doi":"10.1007/978-3-030-18744-6_3","timestamp":"Thu, 02 Sep 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/rssrail/BasileFRM19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/rssrail/BasileFRM19,\n author = {Davide Basile and\n Alessandro Fantechi and\n Luigi Rucher and\n Gianluca Mand{\\`{o}}},\n editor = {Simon Collart Dutilleul and\n Thierry Lecomte and\n Alexander B. Romanovsky},\n title = {Statistical Model Checking of Hazards in an Autonomous Tramway Positioning\n System},\n booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,\n Verification, and Certification - Third International Conference,\n RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},\n series = {Lecture Notes in Computer Science},\n pages = {41--58},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-030-18744-6\\_3},\n doi = {10.1007/978-3-030-18744-6\\_3},\n timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/rssrail/BasileFRM19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Basile, D.","Fantechi, A.","Rucher, L.","Mandò, G."],"editor_short":["Dutilleul, S. C.","Lecomte, T.","Romanovsky, A. B."],"key":"DBLP:conf/rssrail/BasileFRM19","id":"DBLP:conf/rssrail/BasileFRM19","bibbaseid":"basile-fantechi-rucher-mand-statisticalmodelcheckingofhazardsinanautonomoustramwaypositioningsystem-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-18744-6\\_3"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/7o3Ked5hBuQvcfus8","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa","iRSPeTfHwYZkcdis9","9jtEHfaQGgzXxo7kq","voyjKJpSt5qYff2sN","3GcwSxjgD8tZJdCyE","t33hMfaGCBexsrhTz","F7CmJbc6znqjJYzWQ","JHgjDiv9LZMmy7tKN"],"keywords":[],"search_terms":["statistical","model","checking","hazards","autonomous","tramway","positioning","system","basile","fantechi","rucher","mandò"],"title":"Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System","year":2019}