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.
Real-Time Model Checking Support for AADL. [link]Link  Real-Time Model Checking Support for AADL. [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