Testing Cyber-Physical Systems Using Timed Finite State Machines
Crossref DOI link: https://doi.org/10.1007/s11182-017-1033-7
Published Online: 2017-04-08
Published Print: 2017-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gromov, M. L.
Yevtushenko, N. V.
Laputenko, A. V.
License valid from 2017-04-01
