TY  - RPRT
TI  - DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AU  - Bruno Lima
AU  - João Pascoal Faria
PY  - 2020
DO  - 10.1145/3377812.3382142
UR  - https://arxiv.org/abs/2004.04616
ID  - 2004.04616
ER  -