A formal framework for black-box conformance testing of distributed real-time systems

Moez Krichen. A formal framework for black-box conformance testing of distributed real-time systems. IJCCBS, 3(1/2):26-43, 2012. [doi]

Abstract

Abstract is missing.