Publications

journals/cj/BozzanoCKNNR11

Summary

M. Bozzano, A. Cimatti, J.-P. Katoen, V.Y. Nguyen, T. Noll and M. Roveri (2011) Safety, Dependability and Performance Analysis of Extended AADL Models. In Comput. J., 54(5):754-775. (url)

BibTeX Entry

@ARTICLE { DBLP:journals/cj/BozzanoCKNNR11,
    AUTHOR = { M. Bozzano and A. Cimatti and J.-P. Katoen and V.Y. Nguyen and T. Noll and M. Roveri },
    TITLE = { Safety, Dependability and Performance Analysis of Extended AADL Models },
    JOURNAL = { Comput. J. },
    VOLUME = { 54 },
    NUMBER = { 5 },
    YEAR = { 2011 },
    PAGES = { 754-775 },
    EE = { http://dx.doi.org/10.1093/comjnl/bxq024 },
    BIBSOURCE = { DBLP, http://dblp.uni-trier.de },
}