Refine your Search
Repository
Author
Subject
- Software (81)
- Ciencias Informáticas (53)
- Verification (11)
- SOFTWARE ENGINEERING (7)
- Educación (6)
- Algorithms (5)
- Algorithm (4)
- Domínio/Área Científica::Ciências Sociais::Economia e Gestão (3)
- Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática (3)
- Frameworks (3)
Year
Document Type
91-92 from 92 results
(0.015 seconds)
-
Title: Ionizing radiation measurement solution in a hospital environmentAuthor: García Sánchez, Antonio Javier / García Angosto, Enrique Ángel / Moreno Riquelme, Pedro Antonio / Serna Berna, Alfredo / Ramos Amores, DavidLanguage: InglésRepository: 72
-
Title: A Method for Patching Interleaving-Replay Attacks in Faulty Security ProtocolsLanguage: InglésRepository: 34Subject: Authentication / Electric fault location / Mathematical models / Network protocols / Software engineering / Formal methods / Formal verification / Mobile security / Theorem proving / Verification / Replay attacks / Security protocols / Network security / Cryptographic protocols / Engineering practices / Fault localization / Inductive method / patching / Replay attack / State exploration / 7 INGENIERÍA Y TECNOLOGÍA
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723