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

Abdoulaye Gamatié 1, 2 Éric Rutten 1, 2 Huafeng Yu 1, 2 Pierre Boulet 1, 2, * Jean-Luc Dekeyser 1, 2
* Auteur correspondant
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
Type de document :
Article dans une revue
Scalable Computing : Practice and Experience, West University of Timisoara, 2009, 10 (2)
Liste complète des métadonnées

https://hal.inria.fr/inria-00565260
Contributeur : Pierre Boulet <>
Soumis le : vendredi 11 février 2011 - 14:41:03
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

  • HAL Id : inria-00565260, version 1

Collections

Citation

Abdoulaye Gamatié, Éric 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〉

Partager

Métriques

Consultations de la notice

186