Abdoulaye Gamatié, Eric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser. Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems.
Scalable Computing : Practice and Experience, West University of Timisoara, 2009, 10 (2).
⟨inria-00565260⟩