@article{journals/scpe/GamatieRYBD09,
  added-at = {2012-03-01T00:00:00.000+0100},
  author = {Gamatié, Abdoulaye and Rutten, Éric and Yu, Huafeng and Boulet, Pierre and Dekeyser, Jean-Luc},
  biburl = {https://www.bibsonomy.org/bibtex/21872c1423940ff97848bf98670d58efc/dblp},
  ee = {http://www.scpe.org/index.php/scpe/article/view/608},
  interhash = {f56ca4e4035e3dd024d80505bb9d9948},
  intrahash = {1872c1423940ff97848bf98670d58efc},
  journal = {Scalable Computing: Practice and Experience},
  keywords = {dblp},
  number = 2,
  timestamp = {2012-03-02T11:32:20.000+0100},
  title = {Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems.},
  url = {http://dblp.uni-trier.de/db/journals/scpe/scpe10.html#GamatieRYBD09},
  volume = 10,
  year = 2009
}

{"_id":"MFLEH3yRa3y45DE4s","bibbaseid":"gamati-rutten-yu-boulet-dekeyser-modeldrivenengineeringandformalvalidationofhighperformanceembeddedsystems-2009","authorIDs":[],"author_short":["Gamatié, A.","Rutten, É.","Yu, H.","Boulet, P.","Dekeyser, J."],"bibdata":{"bibtype":"article","type":"article","added-at":"2012-03-01T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Gamatié"],"firstnames":["Abdoulaye"],"suffixes":[]},{"propositions":[],"lastnames":["Rutten"],"firstnames":["Éric"],"suffixes":[]},{"propositions":[],"lastnames":["Yu"],"firstnames":["Huafeng"],"suffixes":[]},{"propositions":[],"lastnames":["Boulet"],"firstnames":["Pierre"],"suffixes":[]},{"propositions":[],"lastnames":["Dekeyser"],"firstnames":["Jean-Luc"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/21872c1423940ff97848bf98670d58efc/dblp","ee":"http://www.scpe.org/index.php/scpe/article/view/608","interhash":"f56ca4e4035e3dd024d80505bb9d9948","intrahash":"1872c1423940ff97848bf98670d58efc","journal":"Scalable Computing: Practice and Experience","keywords":"dblp","number":"2","timestamp":"2012-03-02T11:32:20.000+0100","title":"Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems.","url":"http://dblp.uni-trier.de/db/journals/scpe/scpe10.html#GamatieRYBD09","volume":"10","year":"2009","bibtex":"@article{journals/scpe/GamatieRYBD09,\n added-at = {2012-03-01T00:00:00.000+0100},\n author = {Gamatié, Abdoulaye and Rutten, Éric and Yu, Huafeng and Boulet, Pierre and Dekeyser, Jean-Luc},\n biburl = {https://www.bibsonomy.org/bibtex/21872c1423940ff97848bf98670d58efc/dblp},\n ee = {http://www.scpe.org/index.php/scpe/article/view/608},\n interhash = {f56ca4e4035e3dd024d80505bb9d9948},\n intrahash = {1872c1423940ff97848bf98670d58efc},\n journal = {Scalable Computing: Practice and Experience},\n keywords = {dblp},\n number = 2,\n timestamp = {2012-03-02T11:32:20.000+0100},\n title = {Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems.},\n url = {http://dblp.uni-trier.de/db/journals/scpe/scpe10.html#GamatieRYBD09},\n volume = 10,\n year = 2009\n}\n\n","author_short":["Gamatié, A.","Rutten, É.","Yu, H.","Boulet, P.","Dekeyser, J."],"key":"journals/scpe/GamatieRYBD09","id":"journals/scpe/GamatieRYBD09","bibbaseid":"gamati-rutten-yu-boulet-dekeyser-modeldrivenengineeringandformalvalidationofhighperformanceembeddedsystems-2009","role":"author","urls":{"Link":"http://www.scpe.org/index.php/scpe/article/view/608","Paper":"http://dblp.uni-trier.de/db/journals/scpe/scpe10.html#GamatieRYBD09"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/boulet?items=1000","creationDate":"2020-09-09T04:24:37.683Z","downloads":0,"keywords":["dblp"],"search_terms":["model","driven","engineering","formal","validation","high","performance","embedded","systems","gamatié","rutten","yu","boulet","dekeyser"],"title":"Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems.","year":2009,"dataSources":["ShY5NDPH2Keh9pphq"]}