A model-based I/O interface synthesis framework for the cross-platform software modeling.

BaekGyu Kim, Linh T. X. Phan, Insup Lee, Oleg Sokolsky

Browse the full RSP paper archive.