A Story About Formal Methods Adoption by a Railway Signaling Manufacturer

A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. Bacherini, S., Fantechi, A., Tempestini, M., & Zingoni, N. In Misra, J., Nipkow, T., & Sekerinski, E., editors, FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, volume 4085, of Lecture Notes in Computer Science, pages 179–189, 2006. Springer.

Paper doi bibtex

@inproceedings{DBLP:conf/fm/BacheriniFTZ06,
    author = "Bacherini, Stefano and Fantechi, Alessandro and Tempestini, Matteo and Zingoni, Niccol{\`{o}}",
    editor = "Misra, Jayadev and Nipkow, Tobias and Sekerinski, Emil",
    title = "A Story About Formal Methods Adoption by a Railway Signaling Manufacturer",
    booktitle = "{FM} 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings",
    series = "Lecture Notes in Computer Science",
    volume = "4085",
    pages = "179--189",
    publisher = "Springer",
    year = "2006",
    url = "https://doi.org/10.1007/11813040\\_13",
    doi = "10.1007/11813040\\_13",
    timestamp = "Tue, 14 May 2019 10:00:46 +0200",
    biburl = "https://dblp.org/rec/conf/fm/BacheriniFTZ06.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

Downloads: 0

{"_id":"C4P7P8mDynzM8YSNz","bibbaseid":"bacherini-fantechi-tempestini-zingoni-astoryaboutformalmethodsadoptionbyarailwaysignalingmanufacturer-2006","author_short":["Bacherini, S.","Fantechi, A.","Tempestini, M.","Zingoni, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Bacherini"],"firstnames":["Stefano"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Tempestini"],"firstnames":["Matteo"],"suffixes":[]},{"propositions":[],"lastnames":["Zingoni"],"firstnames":["Niccolò"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Misra"],"firstnames":["Jayadev"],"suffixes":[]},{"propositions":[],"lastnames":["Nipkow"],"firstnames":["Tobias"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"title":"A Story About Formal Methods Adoption by a Railway Signaling Manufacturer","booktitle":"FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings","series":"Lecture Notes in Computer Science","volume":"4085","pages":"179–189","publisher":"Springer","year":"2006","url":"https://doi.org/10.1007/11813040\\\\_13","doi":"10.1007/11813040\\_13","timestamp":"Tue, 14 May 2019 10:00:46 +0200","biburl":"https://dblp.org/rec/conf/fm/BacheriniFTZ06.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fm/BacheriniFTZ06,\n author = \"Bacherini, Stefano and Fantechi, Alessandro and Tempestini, Matteo and Zingoni, Niccol{\\`{o}}\",\n editor = \"Misra, Jayadev and Nipkow, Tobias and Sekerinski, Emil\",\n title = \"A Story About Formal Methods Adoption by a Railway Signaling Manufacturer\",\n booktitle = \"{FM} 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"4085\",\n pages = \"179--189\",\n publisher = \"Springer\",\n year = \"2006\",\n url = \"https://doi.org/10.1007/11813040\\\\_13\",\n doi = \"10.1007/11813040\\\\_13\",\n timestamp = \"Tue, 14 May 2019 10:00:46 +0200\",\n biburl = \"https://dblp.org/rec/conf/fm/BacheriniFTZ06.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Bacherini, S.","Fantechi, A.","Tempestini, M.","Zingoni, N."],"editor_short":["Misra, J.","Nipkow, T.","Sekerinski, E."],"key":"DBLP:conf/fm/BacheriniFTZ06","id":"DBLP:conf/fm/BacheriniFTZ06","bibbaseid":"bacherini-fantechi-tempestini-zingoni-astoryaboutformalmethodsadoptionbyarailwaysignalingmanufacturer-2006","role":"author","urls":{"Paper":"https://doi.org/10.1007/11813040\\\\_13"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"],"keywords":[],"search_terms":["story","formal","methods","adoption","railway","signaling","manufacturer","bacherini","fantechi","tempestini","zingoni"],"title":"A Story About Formal Methods Adoption by a Railway Signaling Manufacturer","year":2006}