Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Scalable Computing : Practice and Experience Year : 2009
No file

Dates and versions

inria-00565260 , version 1 (11-02-2011)

Identifiers

  • HAL Id : inria-00565260 , version 1

Cite

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, 2009, 10 (2). ⟨inria-00565260⟩
81 View
0 Download

Share

Gmail Facebook X LinkedIn More