Nicolas Pernet, yves Sorel. Transformations de spécifications incluant du contrôle en spécification flot de données pour implantation distribuée.
Actes de la Conférence Modélisation des Systèmes Réactifs, MSR'05, 2005, Grenoble, France.
⟨inria-00413490⟩