A Safety-critical Real-time Network Protocol.

Zhanjie Wang, Hailong Wang, Kai He, Dexin Sun, Xiaobin Chen

Browse the full GRC paper archive.