A formal passive testing approach to control the integrity of private information in eHealth systems
- Camacho, A.
- Merayo, M.G.
- Núñez, M.
ISSN: 1860-949X
ISBN: 9783319312767
Año de publicación: 2016
Volumen: 642
Páginas: 221-231
Tipo: Aportación congreso