{"_id":"Asxc9u6PgELdxeuH4","bibbaseid":"ferrari-terbeek-mazzanti-basile-fantechi-gnesi-piattino-trentini-surveyonformalmethodsandtoolsinrailwaystheastrailapproach-2019","authorIDs":[],"author_short":["Ferrari, A.","ter Beek, M. H.","Mazzanti, F.","Basile, D.","Fantechi, A.","Gnesi, S.","Piattino, A.","Trentini, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alessio"],"propositions":[],"lastnames":["Ferrari"],"suffixes":[]},{"firstnames":["Maurice","H."],"propositions":["ter"],"lastnames":["Beek"],"suffixes":[]},{"firstnames":["Franco"],"propositions":[],"lastnames":["Mazzanti"],"suffixes":[]},{"firstnames":["Davide"],"propositions":[],"lastnames":["Basile"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Fantechi"],"suffixes":[]},{"firstnames":["Stefania"],"propositions":[],"lastnames":["Gnesi"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Piattino"],"suffixes":[]},{"firstnames":["Daniele"],"propositions":[],"lastnames":["Trentini"],"suffixes":[]}],"editor":[{"firstnames":["Simon","Collart"],"propositions":[],"lastnames":["Dutilleul"],"suffixes":[]},{"firstnames":["Thierry"],"propositions":[],"lastnames":["Lecomte"],"suffixes":[]},{"firstnames":["Alexander","B."],"propositions":[],"lastnames":["Romanovsky"],"suffixes":[]}],"title":"Survey on Formal Methods and Tools in Railways: The ASTRail Approach","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","volume":"11495","pages":"226–241","publisher":"Springer","year":"2019","url":"https://doi.org/10.1007/978-3-030-18744-6\\_15","doi":"10.1007/978-3-030-18744-6_15","timestamp":"Thu, 02 Sep 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/rssrail/FerrariBMBFGPT19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/rssrail/FerrariBMBFGPT19,\n author = {Alessio Ferrari and\n Maurice H. ter Beek and\n Franco Mazzanti and\n Davide Basile and\n Alessandro Fantechi and\n Stefania Gnesi and\n Andrea Piattino and\n Daniele Trentini},\n editor = {Simon Collart Dutilleul and\n Thierry Lecomte and\n Alexander B. Romanovsky},\n title = {Survey on Formal Methods and Tools in Railways: The ASTRail Approach},\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 volume = {11495},\n pages = {226--241},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-030-18744-6\\_15},\n doi = {10.1007/978-3-030-18744-6\\_15},\n timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/rssrail/FerrariBMBFGPT19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ferrari, A.","ter Beek, M. H.","Mazzanti, F.","Basile, D.","Fantechi, A.","Gnesi, S.","Piattino, A.","Trentini, D."],"editor_short":["Dutilleul, S. C.","Lecomte, T.","Romanovsky, A. B."],"key":"DBLP:conf/rssrail/FerrariBMBFGPT19","id":"DBLP:conf/rssrail/FerrariBMBFGPT19","bibbaseid":"ferrari-terbeek-mazzanti-basile-fantechi-gnesi-piattino-trentini-surveyonformalmethodsandtoolsinrailwaystheastrailapproach-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-18744-6\\_15"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/AckLME82Ptjq8qnmm","creationDate":"2019-05-29T00:18:15.468Z","downloads":0,"keywords":[],"search_terms":["survey","formal","methods","tools","railways","astrail","approach","ferrari","ter beek","mazzanti","basile","fantechi","gnesi","piattino","trentini"],"title":"Survey on Formal Methods and Tools in Railways: The ASTRail Approach","year":2019,"dataSources":["zh7osHDrtywfGdfsS","YCBcQPneB9oxahSnp","PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi"]}