Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aleksandr Tvardovskii, Khaled El-Fakih, Maxim Gromov, Nina Yevtushenko. Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage. Automatic Control and Computer Sciences, 51(7):724-730, 2017. [doi]

This author has not been identified. Look up 'Aleksandr Tvardovskii' in GoogleThis author has not been identified. Look up 'Khaled El-Fakih' in GoogleThis author has not been identified. Look up 'Maxim Gromov' in GoogleThis author has not been identified. Look up 'Nina Yevtushenko' in Google

runs on WebDSL