1.
Embedded Software System Testing : Automatic Testing Solution Based on Formal Method
by Yin, Yongfeng, Zhou, Zhang,...
ISBN: 9781032488189
2.
Embedded Software System Testing : Automatic Testing Solution Based on Formal Method
by Yin, Yongfeng, Jiang, Bo, S...
ISBN: 9781032488196