S. Andalam, P.S. Roop, A. Girault. Predictable Multithreading of Embedded Applications Using PRET-C. In International Conference on Formal Methods and Models for Codesign, MEMOCODE'10, Grenoble, France, July 2010.
Alain Girault http://pop-art.inrialpes.fr/people/girault/
@InProceedings{andalam10b,
Author = {Andalam, S. and Roop, P.S. and Girault, A.},
Title = {Predictable Multithreading of Embedded Applications Using {PRET-C}},
BookTitle = {International Conference on Formal Methods and Models for Codesign, MEMOCODE'10},
Address = {Grenoble, France},
Month = {July},
Year = {2010}
}
Get EndNote Reference (.ref)