Return to Article Details An Application of SMC to continuous validation of heterogeneous systems Download Download PDF