A Predictable Servant-Based Execution Model for Safety-Critical Systems.
Bo Wan, Xi Li, Bo Zhang, Kaiqi Zhou, Haizhao Luo, Chao Wang, Xianglan Chen, Xuehai Zhou
Browse the full ISPA paper archive.
Bo Wan, Xi Li, Bo Zhang, Kaiqi Zhou, Haizhao Luo, Chao Wang, Xianglan Chen, Xuehai Zhou
Browse the full ISPA paper archive.