Modeling Guidelines for Code Generation in the Railway Signaling Context

Modeling Guidelines for Code Generation in the Railway Signaling Context. Ferrari, A., Fantechi, A., Bacherini, S., & Zingoni, N. In Denney, E., Giannakopoulou, D., & Pasareanu, C. S., editors, First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009, volume NASA/CP-2009-215407, of NASA Conference Proceedings, pages 166–170, 2009.
bibtex

@inproceedings{DBLP:conf/nfm/FerrariFBZ09,
    author = "Ferrari, Alessio and Fantechi, Alessandro and Bacherini, Stefano and Zingoni, Niccol{\`{o}}",
    editor = "Denney, Ewen and Giannakopoulou, Dimitra and Pasareanu, Corina S.",
    title = "Modeling Guidelines for Code Generation in the Railway Signaling Context",
    booktitle = "First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field, California, USA, April 6-8, 2009",
    series = "{NASA} Conference Proceedings",
    volume = "{NASA/CP-2009-215407}",
    pages = "166--170",
    year = "2009",
    timestamp = "Tue, 09 Jun 2020 01:00:00 +0200",
    biburl = "https://dblp.org/rec/conf/nfm/FerrariFBZ09.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

Downloads: 0

{"_id":"7WrTBEEufsFSLCRL6","bibbaseid":"ferrari-fantechi-bacherini-zingoni-modelingguidelinesforcodegenerationintherailwaysignalingcontext-2009","author_short":["Ferrari, A.","Fantechi, A.","Bacherini, S.","Zingoni, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Ferrari"],"firstnames":["Alessio"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Bacherini"],"firstnames":["Stefano"],"suffixes":[]},{"propositions":[],"lastnames":["Zingoni"],"firstnames":["Niccolò"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Denney"],"firstnames":["Ewen"],"suffixes":[]},{"propositions":[],"lastnames":["Giannakopoulou"],"firstnames":["Dimitra"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]}],"title":"Modeling Guidelines for Code Generation in the Railway Signaling Context","booktitle":"First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009","series":"NASA Conference Proceedings","volume":"NASA/CP-2009-215407","pages":"166–170","year":"2009","timestamp":"Tue, 09 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/nfm/FerrariFBZ09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/nfm/FerrariFBZ09,\n author = \"Ferrari, Alessio and Fantechi, Alessandro and Bacherini, Stefano and Zingoni, Niccol{\\`{o}}\",\n editor = \"Denney, Ewen and Giannakopoulou, Dimitra and Pasareanu, Corina S.\",\n title = \"Modeling Guidelines for Code Generation in the Railway Signaling Context\",\n booktitle = \"First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field, California, USA, April 6-8, 2009\",\n series = \"{NASA} Conference Proceedings\",\n volume = \"{NASA/CP-2009-215407}\",\n pages = \"166--170\",\n year = \"2009\",\n timestamp = \"Tue, 09 Jun 2020 01:00:00 +0200\",\n biburl = \"https://dblp.org/rec/conf/nfm/FerrariFBZ09.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Ferrari, A.","Fantechi, A.","Bacherini, S.","Zingoni, N."],"editor_short":["Denney, E.","Giannakopoulou, D.","Pasareanu, C. S."],"key":"DBLP:conf/nfm/FerrariFBZ09","id":"DBLP:conf/nfm/FerrariFBZ09","bibbaseid":"ferrari-fantechi-bacherini-zingoni-modelingguidelinesforcodegenerationintherailwaysignalingcontext-2009","role":"author","urls":{},"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":["modeling","guidelines","code","generation","railway","signaling","context","ferrari","fantechi","bacherini","zingoni"],"title":"Modeling Guidelines for Code Generation in the Railway Signaling Context","year":2009}