Publication | Closed Access

Controllability and observability in distributed testing

EngineeringSystem TestingTesting TechniqueSoftware TestingVerificationFormal MethodsRobustness TestingSystems EngineeringDistributed SystemsComputer ScienceDistributed TestingSoftware AnalysisFormal Verification