BPDF: A statically analyzable dataflow model with integer and boolean parameters

Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur. BPDF: A statically analyzable dataflow model with integer and boolean parameters. In Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013. pages 1-10, IEEE, 2013. [doi]

Authors

Vagelis Bebelis

This author has not been identified. Look up 'Vagelis Bebelis' in Google

Pascal Fradet

This author has not been identified. Look up 'Pascal Fradet' in Google

Alain Girault

This author has not been identified. Look up 'Alain Girault' in Google

Bruno Lavigueur

This author has not been identified. Look up 'Bruno Lavigueur' in Google