Real-Time Model Checking Support for AADL. Berthomieu, B., Bodeveix, J., Dal-Zilio, S., Filali, M., Botlan, Le, D., Verdier, G., & Vernadat, F. CoRR, 2015.
Link
Paper bibtex @article{ journals/corr/BerthomieuBDFBV15,
added-at = {2015-04-09T00:00:00.000+0200},
author = {Berthomieu, Bernard and Bodeveix, Jean-Paul and Dal-Zilio, Silvano and Filali, Mamoun and Botlan, Didier Le and Verdier, Guillaume and Vernadat, François},
biburl = {http://www.bibsonomy.org/bibtex/26d22673f4c377568ba336f61beebfef3/dblp},
ee = {http://arxiv.org/abs/1503.00493},
interhash = {d0d415fbf13209ad295f13d73a4bbe18},
intrahash = {6d22673f4c377568ba336f61beebfef3},
journal = {CoRR},
keywords = {dblp},
title = {Real-Time Model Checking Support for AADL.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1503.html#BerthomieuBDFBV15},
volume = {abs/1503.00493},
year = {2015}
}
Downloads: 0
{"_id":"ekxXycargx5FLbxNC","bibbaseid":"berthomieu-bodeveix-dalzilio-filali-botlan-le-verdier-vernadat-realtimemodelcheckingsupportforaadl-2015","downloads":0,"creationDate":"2015-05-07T12:05:07.041Z","title":"Real-Time Model Checking Support for AADL.","author_short":["Berthomieu, B.","Bodeveix, J.","Dal-Zilio, S.","Filali, M.","Botlan","Le, D.","Verdier, G.","Vernadat, F."],"year":2015,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/bernard?items=1000","bibdata":{"added-at":"2015-04-09T00:00:00.000+0200","author":["Berthomieu, Bernard","Bodeveix, Jean-Paul","Dal-Zilio, Silvano","Filali, Mamoun","Botlan","Le, Didier","Verdier, Guillaume","Vernadat, François"],"author_short":["Berthomieu, B.","Bodeveix, J.","Dal-Zilio, S.","Filali, M.","Botlan","Le, D.","Verdier, G.","Vernadat, F."],"bibtex":"@article{ journals/corr/BerthomieuBDFBV15,\n added-at = {2015-04-09T00:00:00.000+0200},\n author = {Berthomieu, Bernard and Bodeveix, Jean-Paul and Dal-Zilio, Silvano and Filali, Mamoun and Botlan, Didier Le and Verdier, Guillaume and Vernadat, François},\n biburl = {http://www.bibsonomy.org/bibtex/26d22673f4c377568ba336f61beebfef3/dblp},\n ee = {http://arxiv.org/abs/1503.00493},\n interhash = {d0d415fbf13209ad295f13d73a4bbe18},\n intrahash = {6d22673f4c377568ba336f61beebfef3},\n journal = {CoRR},\n keywords = {dblp},\n title = {Real-Time Model Checking Support for AADL.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1503.html#BerthomieuBDFBV15},\n volume = {abs/1503.00493},\n year = {2015}\n}","bibtype":"article","biburl":"http://www.bibsonomy.org/bibtex/26d22673f4c377568ba336f61beebfef3/dblp","ee":"http://arxiv.org/abs/1503.00493","id":"journals/corr/BerthomieuBDFBV15","interhash":"d0d415fbf13209ad295f13d73a4bbe18","intrahash":"6d22673f4c377568ba336f61beebfef3","journal":"CoRR","key":"journals/corr/BerthomieuBDFBV15","keywords":"dblp","title":"Real-Time Model Checking Support for AADL.","type":"article","url":"http://dblp.uni-trier.de/db/journals/corr/corr1503.html#BerthomieuBDFBV15","volume":"abs/1503.00493","year":"2015","bibbaseid":"berthomieu-bodeveix-dalzilio-filali-botlan-le-verdier-vernadat-realtimemodelcheckingsupportforaadl-2015","role":"author","urls":{"Link":"http://arxiv.org/abs/1503.00493","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1503.html#BerthomieuBDFBV15"},"keyword":["dblp"],"downloads":0},"search_terms":["real","time","model","checking","support","aadl","berthomieu","bodeveix","dal-zilio","filali","botlan","le","verdier","vernadat"],"keywords":["dblp"],"authorIDs":[],"dataSources":["wvAhRjakvxMweG8ZA"]}