https://hal.inria.fr/hal-00923672
Contributor : Pascal Fradet <>
Submitted on : Friday, January 3, 2014 - 5:43:10 PM Last modification on : Tuesday, December 8, 2020 - 10:02:04 AM
Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur. BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters. The Tenth Biennial Ptolemy Miniconference, Nov 2013, Berkeley, United States. ⟨hal-00923672⟩