Skip to Main content Skip to Navigation
Journal articles

Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems

Abdoulaye Gamatié 1, 2 Eric Rutten 1, 2 Huafeng Yu 1, 2 Pierre Boulet 1, 2, * Jean-Luc Dekeyser 1, 2
* Corresponding author
2 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Résumé : No abstract
Complete list of metadata

https://hal.inria.fr/inria-00565260
Contributor : Pierre Boulet <>
Submitted on : Friday, February 11, 2011 - 2:41:03 PM
Last modification on : Tuesday, June 4, 2019 - 4:24:07 PM

Identifiers

  • HAL Id : inria-00565260, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

266