@inproceedings{DBLP:conf/models/PiresPWD13,
  author    = {Anthony Fernandes Pires and
               Thomas Polacsek and
               Virginie Wiels and
               St{\'{e}}phane Duprat},
  title     = {Behavioural Verification in Embedded Software, from Model to Source
               Code},
  booktitle = {Model-Driven Engineering Languages and Systems - 16th International
               Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October
               4, 2013. Proceedings},
  pages     = {320--335},
  year      = {2013},
  crossref  = {DBLP:conf/models/2013},
  url       = {http://dx.doi.org/10.1007/978-3-642-41533-3_20},
  doi       = {10.1007/978-3-642-41533-3_20},
  timestamp = {Sun, 22 Sep 2013 21:27:29 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/models/PiresPWD13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"KkkFh9eLCXSFDBwiQ","bibbaseid":"pires-polacsek-wiels-duprat-behaviouralverificationinembeddedsoftwarefrommodeltosourcecode-2013","downloads":0,"creationDate":"2016-09-28T17:06:07.154Z","title":"Behavioural Verification in Embedded Software, from Model to Source Code","author_short":["Pires, A. F.","Polacsek, T.","Wiels, V.","Duprat, S."],"year":2013,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/p/Polacsek:Thomas","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Anthony","Fernandes"],"propositions":[],"lastnames":["Pires"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Polacsek"],"suffixes":[]},{"firstnames":["Virginie"],"propositions":[],"lastnames":["Wiels"],"suffixes":[]},{"firstnames":["Stéphane"],"propositions":[],"lastnames":["Duprat"],"suffixes":[]}],"title":"Behavioural Verification in Embedded Software, from Model to Source Code","booktitle":"Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings","pages":"320--335","year":"2013","crossref":"DBLP:conf/models/2013","url":"http://dx.doi.org/10.1007/978-3-642-41533-3_20","doi":"10.1007/978-3-642-41533-3_20","timestamp":"Sun, 22 Sep 2013 21:27:29 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/models/PiresPWD13","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/models/PiresPWD13,\n author = {Anthony Fernandes Pires and\n Thomas Polacsek and\n Virginie Wiels and\n St{\\'{e}}phane Duprat},\n title = {Behavioural Verification in Embedded Software, from Model to Source\n Code},\n booktitle = {Model-Driven Engineering Languages and Systems - 16th International\n Conference, {MODELS} 2013, Miami, FL, USA, September 29 - October\n 4, 2013. Proceedings},\n pages = {320--335},\n year = {2013},\n crossref = {DBLP:conf/models/2013},\n url = {http://dx.doi.org/10.1007/978-3-642-41533-3_20},\n doi = {10.1007/978-3-642-41533-3_20},\n timestamp = {Sun, 22 Sep 2013 21:27:29 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/models/PiresPWD13},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Pires, A. F.","Polacsek, T.","Wiels, V.","Duprat, S."],"key":"DBLP:conf/models/PiresPWD13","id":"DBLP:conf/models/PiresPWD13","bibbaseid":"pires-polacsek-wiels-duprat-behaviouralverificationinembeddedsoftwarefrommodeltosourcecode-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-41533-3_20"},"downloads":0},"search_terms":["behavioural","verification","embedded","software","model","source","code","pires","polacsek","wiels","duprat"],"keywords":[],"authorIDs":[],"dataSources":["7ngoTqZAkDPRRjKbp"]}