Extending HARMLESS Architecture Description Language for Embedded Real-Time Systems Validation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Extending HARMLESS Architecture Description Language for Embedded Real-Time Systems Validation

Jean-Luc Béchennec
Institut de Recherche en Communications et en Cybernétique de Nantes
Mikaël Briday
Systèmes Temps Réel
CV
Valère Alibert
  • Fonction : Auteur

Domaines

Système d'exploitation [cs.OS] Systèmes embarqués

Jean-Luc Béchennec  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00941186

Soumis le : lundi 3 février 2014-14:56:50

Dernière modification le : vendredi 5 janvier 2024-03:25:05

Fichier non déposé

Dates et versions

hal-00941186 , version 1 (03-02-2014)

Identifiants

  • HAL Id : hal-00941186 , version 1

Citer

Jean-Luc Béchennec, Mikaël Briday, Valère Alibert. Extending HARMLESS Architecture Description Language for Embedded Real-Time Systems Validation. IEEE International Symposium on Industrial Embedded Systems, Jun 2011, Västerås, Sweden. pp.223. ⟨hal-00941186⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES IRCCYN UNAM LS2N NANTES-UNIVERSITE
90 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More