Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J., 54(5):754-775, 2011. [doi]
@article{BozzanoCKNNR11,
title = {Safety, Dependability and Performance Analysis of Extended AADL Models},
author = {Marco Bozzano and Alessandro Cimatti and Joost-Pieter Katoen and Viet Yen Nguyen and Thomas Noll and Marco Roveri},
year = {2011},
doi = {10.1093/comjnl/bxq024},
url = {http://dx.doi.org/10.1093/comjnl/bxq024},
tags = {analysis},
researchr = {https://researchr.org/publication/BozzanoCKNNR11},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {54},
number = {5},
pages = {754-775},
}