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
Document type :
Journal articles
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

UNIV-LILLE3 | CNRS | INRIA | LIFL | INRIA2

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

80

 

Contact                    Legal Notice                    Personal Data