Séphane Rubini, Frank Singhoff, Jérôme Hugues. Modeling and Verification of Memory Architectures with AADL and REAL. In Isabelle Perseil, Karin Breitman, Roy Sterritt, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. pages 338-343, IEEE Computer Society, 2011. [doi]
@inproceedings{RubiniSH11,
title = {Modeling and Verification of Memory Architectures with AADL and REAL},
author = {Séphane Rubini and Frank Singhoff and Jérôme Hugues},
year = {2011},
doi = {10.1109/ICECCS.2011.40},
url = {http://dx.doi.org/10.1109/ICECCS.2011.40},
tags = {modeling, architecture},
researchr = {https://researchr.org/publication/RubiniSH11},
cites = {0},
citedby = {0},
pages = {338-343},
booktitle = {16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
editor = {Isabelle Perseil and Karin Breitman and Roy Sterritt},
publisher = {IEEE Computer Society},
}