Real-Time Design Models to RTOS-Specific Models Refinement Verification - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

Real-Time Design Models to RTOS-Specific Models Refinement Verification

Mots clés

MDE platform RTOS deployment

Domaines

Génie logiciel [cs.SE] Systèmes embarqués Système d'exploitation [cs.OS]

Jean-Philippe Babau  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00744943

Soumis le : mercredi 24 octobre 2012-11:21:45

Dernière modification le : mardi 3 septembre 2024-11:16:05

Fichier non déposé

Dates et versions

hal-00744943 , version 1 (24-10-2012)

Identifiants

  • HAL Id : hal-00744943 , version 1

Citer

Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid. Real-Time Design Models to RTOS-Specific Models Refinement Verification. 5th MoDELS workshop on Model Based Architecting and Construction of Embedded Systems, Sep 2012, Innsbruck, Austria. pp.25-30. ⟨hal-00744943⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA UNIV-BREST CNRS LAB-STICC_UBO ENIB LAB-STICC_ENIB LAB-STICC DRT LIST IBNM GS-SPORT-HUMAN-MOVEMENT
180 Consultations
0 Téléchargements

Partager

More