Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage
Crossref DOI link: https://doi.org/10.3103/S0146411617070318
Published Online: 2018-02-07
Published Print: 2017-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Tvardovskii, Aleksandr
El-Fakih, Khaled
Gromov, Maxim
Yevtushenko, Nina
Text and Data Mining valid from 2017-12-01
Article History
Received: 22 December 2016
First Online: 7 February 2018