Special issue on formal active and passive testing of distributed and networked systems

Ana R. Cavalli, Teruo Higashino, Manuel Núñez. Special issue on formal active and passive testing of distributed and networked systems. Annales des Télécommunications, 70(3-4):83-84, 2015. [doi]

Abstract

Abstract is missing.