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]
@article{TvardovskiiEGY17,
title = {Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage},
author = {Aleksandr Tvardovskii and Khaled El-Fakih and Maxim Gromov and Nina Yevtushenko},
year = {2017},
doi = {10.3103/S0146411617070318},
url = {https://doi.org/10.3103/S0146411617070318},
researchr = {https://researchr.org/publication/TvardovskiiEGY17},
cites = {0},
citedby = {0},
journal = {Automatic Control and Computer Sciences},
volume = {51},
number = {7},
pages = {724-730},
}