%0 Journal Article %1 journals/cj/BozzanoCKNNR11 %A Bozzano, Marco %A Cimatti, Alessandro %A Katoen, Joost-Pieter %A Nguyen, Viet Yen %A Noll, Thomas %A Roveri, Marco %D 2011 %J Comput. J. %K %N 5 %P 754-775 %T Safety, Dependability and Performance Analysis of Extended AADL Models. %U http://dblp.uni-trier.de/db/journals/cj/cj54.html#BozzanoCKNNR11 %V 54

@article{journals/cj/BozzanoCKNNR11, added-at = {2023-12-13T01:10:13.000+0100}, author = {Bozzano, Marco and Cimatti, Alessandro and Katoen, Joost-Pieter and Nguyen, Viet Yen and Noll, Thomas and Roveri, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2cfe1b672535016e64413f4e1790a4038/admin}, ee = {https://www.wikidata.org/entity/Q57801320}, interhash = {6dc3764f975c0653b883fb9c084142d4}, intrahash = {cfe1b672535016e64413f4e1790a4038}, journal = {Comput. J.}, keywords = {}, number = 5, pages = {754-775}, timestamp = {2023-12-13T01:10:13.000+0100}, title = {Safety, Dependability and Performance Analysis of Extended AADL Models.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj54.html#BozzanoCKNNR11}, volume = 54, year = 2011 }