 | Monter d'un niveau |
Girodias, B., Aboulhamid, E. M., & Nicolescu, G. (janvier 2006). A platform for refinement of OS services for embedded systems [Communication écrite]. 3rd International Workshop on Electronic Design, Test and Applications (DELTA 2006), Kuala Lumpur, Malaysia (7 pages). Lien externe
