@inproceedings{DBLP:conf/isorc/BernardeschiSF98,
    author = "Bernardeschi, Cinzia and Simoncini, Luca and Fantechi, Alessandro",
    title = "Validating the Design of Dependable Systems",
    booktitle = "1st International Symposium on Object-Oriented Real-Time Distributed Computing {(ISORC} '98), 20-22 April 1998, Kyoto, Japan",
    pages = "364--372",
    publisher = "{IEEE} Computer Society",
    year = "1998",
    url = "https://doi.org/10.1109/ISORC.1998.666809",
    doi = "10.1109/ISORC.1998.666809",
    timestamp = "Fri, 24 Mar 2023 00:00:00 +0100",
    biburl = "https://dblp.org/rec/conf/isorc/BernardeschiSF98.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"qNXn8CggJ7wz5EY3K","bibbaseid":"bernardeschi-simoncini-fantechi-validatingthedesignofdependablesystems-1998","author_short":["Bernardeschi, C.","Simoncini, L.","Fantechi, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Bernardeschi"],"firstnames":["Cinzia"],"suffixes":[]},{"propositions":[],"lastnames":["Simoncini"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]}],"title":"Validating the Design of Dependable Systems","booktitle":"1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 20-22 April 1998, Kyoto, Japan","pages":"364–372","publisher":"IEEE Computer Society","year":"1998","url":"https://doi.org/10.1109/ISORC.1998.666809","doi":"10.1109/ISORC.1998.666809","timestamp":"Fri, 24 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/isorc/BernardeschiSF98.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/isorc/BernardeschiSF98,\n author = \"Bernardeschi, Cinzia and Simoncini, Luca and Fantechi, Alessandro\",\n title = \"Validating the Design of Dependable Systems\",\n booktitle = \"1st International Symposium on Object-Oriented Real-Time Distributed Computing {(ISORC} '98), 20-22 April 1998, Kyoto, Japan\",\n pages = \"364--372\",\n publisher = \"{IEEE} Computer Society\",\n year = \"1998\",\n url = \"https://doi.org/10.1109/ISORC.1998.666809\",\n doi = \"10.1109/ISORC.1998.666809\",\n timestamp = \"Fri, 24 Mar 2023 00:00:00 +0100\",\n biburl = \"https://dblp.org/rec/conf/isorc/BernardeschiSF98.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Bernardeschi, C.","Simoncini, L.","Fantechi, A."],"key":"DBLP:conf/isorc/BernardeschiSF98","id":"DBLP:conf/isorc/BernardeschiSF98","bibbaseid":"bernardeschi-simoncini-fantechi-validatingthedesignofdependablesystems-1998","role":"author","urls":{"Paper":"https://doi.org/10.1109/ISORC.1998.666809"},"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":["validating","design","dependable","systems","bernardeschi","simoncini","fantechi"],"title":"Validating the Design of Dependable Systems","year":1998}