A survey on formal active and passive testing with applications to the cloud

  1. Cavalli, A.R.
  2. Higashino, T.
  3. Núñez, M.
Revista:
Annales des Telecommunications/Annals of Telecommunications

ISSN: 1958-9395,  0003-4347

Año de publicación: 2015

Volumen: 70

Número: 3-4

Páginas: 85-93

Tipo: Artículo

DOI: 10.1007/S12243-015-0457-8 GOOGLE SCHOLAR
Fuente de los datos: Scopus