@inproceedings{NAM+6,
title = {Transforming {VHDL} descriptions into formal component-based models },
author = {Nouri, Ayoub and Atitallah, Rahma Ben and Molnos, Anca and Fabre, Christian and Heitzmann, Fr{\'{e}}d{\'{e}}ric and Debicki, Olivier},
year = {2016},
booktitle = {2016 International Symposium on Rapid System Prototyping, {RSP} 2016, Pittsburg, PA, USA, October 6-7, 2016},
pages = {128--135},
publisher = {{IEEE}},
team = {RSD},
}
