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

Yongfeng Yin, Bo Jiang, 1032488182, 9781032488189, 9781032488196, 9781003390923