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

Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur

Browse the full EMSOFT paper archive.