Modeling buffers with data refresh semantics in automotive architectures.

Linh Thi Xuan Phan, Reinhard Schneider, Samarjit Chakraborty, Insup Lee

Browse the full EMSOFT paper archive.