@inproceedings{DBLP:conf/fmics/BasileFR21,
    author = "Basile, Davide and Fantechi, Alessandro and Rosadi, Irene",
    editor = "Lluch{-}Lafuente, Alberto and Mavridou, Anastasia",
    title = "Formal Analysis of the {UNISIG} Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces",
    booktitle = "Formal Methods for Industrial Critical Systems - 26th International Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings",
    series = "Lecture Notes in Computer Science",
    volume = "12863",
    pages = "174--190",
    publisher = "Springer",
    year = "2021",
    url = "https://doi.org/10.1007/978-3-030-85248-1\\_11",
    doi = "10.1007/978-3-030-85248-1\\_11",
    timestamp = "Thu, 02 Sep 2021 01:00:00 +0200",
    biburl = "https://dblp.org/rec/conf/fmics/BasileFR21.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"FFwuimas4Ais32s2Y","bibbaseid":"basile-fantechi-rosadi-formalanalysisoftheunisigsafetyapplicationintermediatesublayerapplyingformalmethodstorailwaystandardinterfaces-2021","author_short":["Basile, D.","Fantechi, A.","Rosadi, I."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Basile"],"firstnames":["Davide"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Rosadi"],"firstnames":["Irene"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Lluch-Lafuente"],"firstnames":["Alberto"],"suffixes":[]},{"propositions":[],"lastnames":["Mavridou"],"firstnames":["Anastasia"],"suffixes":[]}],"title":"Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces","booktitle":"Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings","series":"Lecture Notes in Computer Science","volume":"12863","pages":"174–190","publisher":"Springer","year":"2021","url":"https://doi.org/10.1007/978-3-030-85248-1\\\\_11","doi":"10.1007/978-3-030-85248-1\\_11","timestamp":"Thu, 02 Sep 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/fmics/BasileFR21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fmics/BasileFR21,\n author = \"Basile, Davide and Fantechi, Alessandro and Rosadi, Irene\",\n editor = \"Lluch{-}Lafuente, Alberto and Mavridou, Anastasia\",\n title = \"Formal Analysis of the {UNISIG} Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces\",\n booktitle = \"Formal Methods for Industrial Critical Systems - 26th International Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"12863\",\n pages = \"174--190\",\n publisher = \"Springer\",\n year = \"2021\",\n url = \"https://doi.org/10.1007/978-3-030-85248-1\\\\_11\",\n doi = \"10.1007/978-3-030-85248-1\\\\_11\",\n timestamp = \"Thu, 02 Sep 2021 01:00:00 +0200\",\n biburl = \"https://dblp.org/rec/conf/fmics/BasileFR21.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Basile, D.","Fantechi, A.","Rosadi, I."],"editor_short":["Lluch-Lafuente, A.","Mavridou, A."],"key":"DBLP:conf/fmics/BasileFR21","id":"DBLP:conf/fmics/BasileFR21","bibbaseid":"basile-fantechi-rosadi-formalanalysisoftheunisigsafetyapplicationintermediatesublayerapplyingformalmethodstorailwaystandardinterfaces-2021","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-85248-1\\\\_11"},"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":["formal","analysis","unisig","safety","application","intermediate","sub","layer","applying","formal","methods","railway","standard","interfaces","basile","fantechi","rosadi"],"title":"Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces","year":2021}