%0 Conference Paper %1 conf/rsp/MathieuGHM15 %A Mathieu, Gaudron %A Guy, Bois %A Hugues, Jérôme %A Monteiro, Fellipe %B RSP %D 2015 %I IEEE %K dblp %P 33-37 %T Performance verification for ESL design methodology from AADL models. %U http://dblp.uni-trier.de/db/conf/rsp/rsp2015.html#MathieuGHM15 %@ 978-1-4673-8276-2

@inproceedings{conf/rsp/MathieuGHM15, added-at = {2016-03-02T00:00:00.000+0100}, author = {Mathieu, Gaudron and Guy, Bois and Hugues, Jérôme and Monteiro, Fellipe}, biburl = {https://www.bibsonomy.org/bibtex/2ccf2d3767e33b0121a7008333e93450b/dblp}, booktitle = {RSP}, crossref = {conf/rsp/2015}, ee = {http://dx.doi.org/10.1109/RSP.2015.7416543}, interhash = {98bdd74c440259532bce1f74c760d954}, intrahash = {ccf2d3767e33b0121a7008333e93450b}, isbn = {978-1-4673-8276-2}, keywords = {dblp}, pages = {33-37}, publisher = {IEEE}, timestamp = {2016-03-03T11:48:06.000+0100}, title = {Performance verification for ESL design methodology from AADL models.}, url = {http://dblp.uni-trier.de/db/conf/rsp/rsp2015.html#MathieuGHM15}, year = 2015 }