Published in
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems - ACES-MB '12
Links
Tools
Real-Time Design Models to RTOS-Specific Models Refinement Verification
Proceedings article published in 2012 by
Rania Mzid,
Chokri Mraidha 
,
Jean-Philippe Babau,
Mohamed Abid
,
Jean-Philippe Babau,
Mohamed Abid
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 
Abstract
International audience