@inproceedings{ dblp2453572,
  title = {Behavioural Verification in Embedded Software, from Model to Source Code},
  author = {Anthony Fernandes Pires and Thomas Polacsek and Virginie Wiels and Stéphane Duprat},
  author_short = {Fernandes Pires, A. and Polacsek, T. and Wiels, V. and Duprat, S.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp2453572},
  id = {dblp2453572},
  biburl = {http://www.dblp.org/rec/bibtex/conf/models/PiresPWD13},
  url = {http://dx.doi.org/10.1007/978-3-642-41533-3_20},
  conference = {MoDELS},
  pages = {320-335},
  text = {MoDELS 2013:320-335},
  booktitle = {Proceedings of Model Driven Engineering Languages and Systems (MoDELS)}
}

{"_id":"QSq7XWJb9PA5XtTuy","bibbaseid":"fernandespires-polacsek-wiels-duprat-behaviouralverificationinembeddedsoftwarefrommodeltosourcecode-2013","downloads":0,"creationDate":"2015-09-02T13:43:07.634Z","title":"Behavioural Verification in Embedded Software, from Model to Source Code","author_short":["Fernandes Pires, A.","Polacsek, T.","Wiels, V.","Duprat, S."],"year":2013,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/models/PiresPWD13","bibdata":{"title":"Behavioural Verification in Embedded Software, from Model to Source Code","author":["Anthony Fernandes Pires","Thomas Polacsek","Virginie Wiels","Stéphane Duprat"],"author_short":["Fernandes Pires, A.","Polacsek, T.","Wiels, V.","Duprat, S."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp2453572","id":"dblp2453572","biburl":"http://www.dblp.org/rec/bibtex/conf/models/PiresPWD13","url":"http://dx.doi.org/10.1007/978-3-642-41533-3_20","conference":"MoDELS","pages":"320-335","text":"MoDELS 2013:320-335","booktitle":"Proceedings of Model Driven Engineering Languages and Systems (MoDELS)","bibtex":"@inproceedings{ dblp2453572,\n title = {Behavioural Verification in Embedded Software, from Model to Source Code},\n author = {Anthony Fernandes Pires and Thomas Polacsek and Virginie Wiels and Stéphane Duprat},\n author_short = {Fernandes Pires, A. and Polacsek, T. and Wiels, V. and Duprat, S.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp2453572},\n id = {dblp2453572},\n biburl = {http://www.dblp.org/rec/bibtex/conf/models/PiresPWD13},\n url = {http://dx.doi.org/10.1007/978-3-642-41533-3_20},\n conference = {MoDELS},\n pages = {320-335},\n text = {MoDELS 2013:320-335},\n booktitle = {Proceedings of Model Driven Engineering Languages and Systems (MoDELS)}\n}","bibbaseid":"fernandespires-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","fernandes pires","polacsek","wiels","duprat"],"keywords":[],"authorIDs":[],"dataSources":["23DLTd87Kc999fggR"]}