Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Scalable Computing : Practice and Experience Année : 2009

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

Résumé

No abstract

Domaines

Génie logiciel [cs.SE] Calcul parallèle, distribué et partagé [cs.DC] Systèmes embarqués

Pierre Boulet  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00565260

Soumis le : vendredi 11 février 2011-14:41:03

Dernière modification le : vendredi 24 mars 2023-14:52:54

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00565260 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-LILLE3 CNRS INRIA LIFL INRIA2
85 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More