Testing cyclic software components of reactive systems on the basis of formal specificationsSadegh SadeghipourVypredaná4,3Postrážiť
