Scalable Computing: Practice and Experience SCPE

Gamatie, Abdoulaye, France

• Scalable Computing: Practice and Experience Vol. 10 No. 2 (2009) - Special Issue Papers
  Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems
  Abstract  PDF