BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013
Fichier non déposé

Dates et versions

hal-00923672 , version 1 (03-01-2014)

Identifiants

  • HAL Id : hal-00923672 , version 1

Citer

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⟩
175 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More