Bo Jiang

Embedded Software System Testing: Automatic Testing Solution Based on Formal Method

Yongfeng Yin,Bo Jiang