OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

73 (17)
77 (13)
57 (10)
37 (9)
50 (8)
40 (6)
60 (5)
62 (5)
56 (2)
17 (1)

Show More Show Less

Author

Aguas Romero, Luis (1)
Aguirre Lora, Diego Camilo (1)
Agüero, Martín Jorge (1)
Ale, Mariel Alejandra (1)
Aleixo, Francisco Faria (1)
Alemán López Natalia Elizabeth (1)
Amaya Tejera, Nazhir Jesús (1)
Amaya Velásquez, Yuliana Andrea (1)
Anabalon, Diego (1)
Andrade Torres John José (1)

Show More Show Less

Subject

Software (70)
Ciencias Informáticas (9)
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática (9)
Hardware (7)
Program (7)
Verification (7)
Programa (6)
DESARROLLO DE PROGRAMAS PARA COMPUTADOR (4)
Facultad de ingeniería (4)
Tesis (4)

Show More Show Less

Year

2018 (83)
2019 (23)
2017 (17)
2014 (5)
2016 (5)
2020 (4)
2012 (3)
2015 (3)
2013 (2)
2001 (1)

Show More Show Less

Document Type

Tesis (49)
Sin Especificar (23)
Artículo (8)
Conferencia (2)
Desconocido (1)

Show More Show Less

Language

Español (42)
Desconocido (17)
Inglés (16)
Portugués (8)

Show More Show Less

Your search

Year: 2018 Subject: Software Program Verification

Sort by Score Title Year -

81-83 from 83 results (0.012 seconds)

Title: Ionizing radiation measurement solution in a hospital environment
Author: García Sánchez, Antonio Javier / García Angosto, Enrique Ángel / Moreno Riquelme, Pedro Antonio / Serna Berna, Alfredo / Ramos Amores, David
Language: Inglés
Repository: 72
Subject: Gamma radiation / Healthcare workers safety / Dosimetry solution / Verification / Evaluation / Ingeniería Telemática / 3201.11 Radiología

Acceder
Title: A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols
Language: Inglés
Repository: 34
Subject: 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

Acceder
Title: Verificación formal y refinamientos en P/PML
Author: Díaz, Javier Roberto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / verificación formal / Verification / Software / lógica de programacion / derivación de programas / métodos formales

Acceder

« Previous 1 2 3 4 5 6 7 8 9 Next »

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