| emsoft | participants

Bruno Lavigueur

EMSOFT 2013: 13th International Conference on Embedded Software

BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters

Vagelis Bebelis, Pascal Fradet, Alain Girault, and Bruno Lavigueur