Skip to Main content Skip to Navigation
Journal articles

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

Abdoulaye Gamatié 1 Eric Rutten 1 Huafeng Yu 1 Pierre Boulet 1, * Jean-Luc Dekeyser 1 
* Corresponding author
1 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 Connect in order to contact the contributor
Submitted on : Friday, February 11, 2011 - 2:41:03 PM
Last modification on : Wednesday, March 9, 2022 - 12:08:06 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

80