Timed Conformance Testing for Orchestrated Service Discovery

Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall. Timed Conformance Testing for Orchestrated Service Discovery. In Farhad Arbab, Peter Csaba Ölveczky, editors, Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Volume 7253 of Lecture Notes in Computer Science, pages 133-150, Springer, 2011. [doi]

Abstract

Abstract is missing.