A formal passive testing approach to control the integrity of private information in eHealth systems

  1. Camacho, A.
  2. Merayo, M.G.
  3. Núñez, M.
Liburu bilduma:
Studies in Computational Intelligence

ISSN: 1860-949X

ISBN: 9783319312767

Argitalpen urtea: 2016

Alea: 642

Orrialdeak: 221-231

Mota: Biltzar ekarpena

DOI: 10.1007/978-3-319-31277-4_19 GOOGLE SCHOLAR