![](/img/cover-not-exists.png)
A formal method to real-time protocol interoperability testing
ZhiLiang Wang, Xia Yin, ChuanMing JingVolume:
51
Language:
english
Pages:
22
DOI:
10.1007/s11432-008-0153-7
Date:
November, 2008
File:
PDF, 917 KB
english, 2008