Test Translation for Embedded Finite State Machine Components

Khaled El-Fakih, Nina Yevtushenko. Test Translation for Embedded Finite State Machine Components. Comput. J., 59(12):1805-1816, 2016. [doi]

Authors

Khaled El-Fakih

This author has not been identified. Look up 'Khaled El-Fakih' in Google

Nina Yevtushenko

This author has not been identified. Look up 'Nina Yevtushenko' in Google