Real-Time Design Models to RTOS-Specific Models Refinement Verification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012
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⟩
174 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More