Transforming VHDL descriptions into formal component-based models

Ayoub Nouri, Rahma Ben Atitallah, Anca Molnos, Christian Fabre, Frédéric Heitzmann, Olivier Debicki. Transforming VHDL descriptions into formal component-based models. In 2016 International Symposium on Rapid System Prototyping, RSP 2016, Pittsburg, PA, USA, October 6-7, 2016. pages 128-135, IEEE, 2016. [doi]

Authors

Ayoub Nouri

This author has not been identified. Look up 'Ayoub Nouri' in Google

Rahma Ben Atitallah

This author has not been identified. Look up 'Rahma Ben Atitallah' in Google

Anca Molnos

This author has not been identified. Look up 'Anca Molnos' in Google

Christian Fabre

This author has not been identified. Look up 'Christian Fabre' in Google

Frédéric Heitzmann

This author has not been identified. Look up 'Frédéric Heitzmann' in Google

Olivier Debicki

This author has not been identified. Look up 'Olivier Debicki' in Google