Overcoming controllability problems in distributed testing from an input output transition system

Robert M. Hierons. Overcoming controllability problems in distributed testing from an input output transition system. Distributed Computing, 25(1):63-81, 2012. [doi]

Abstract

Abstract is missing.