![](/img/cover-not-exists.png)
[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Predictable multithreading of embedded applications using PRET-C
Andalam, Sidharta, Roop, Partha, Girault, AlainYear:
2010
Language:
english
DOI:
10.1109/memcod.2010.5558636
File:
PDF, 494 KB
english, 2010