Model Checking for SpaceWire Link Interface Design Using Uppaal.

Ping Luo, Rui Wang, Xiaojuan Li, Yong Guan, Hongxing Wei, Jie Zhang

Browse the full COMPSAC paper archive.