Predictable multithreading of embedded applications using PRET-C. (2010)

by A G S Andalam, P S Roop
Venue:In Proc. of ACM-IEEE Int. Conference on Formal Methods and Models for Codesign (MEMOCODE),,