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
57
(4)
73
(2)
34
(1)
72
(1)
Show More
Show Less
Author
Aparicio, M.
(1)
Costa, C. J.
(1)
Dunoyer, Edgardo
(1)
Echeverría, Henry
(1)
Escobar, Anis
(1)
Escobar, Sandra
(1)
Garcés, Maira
(1)
Garcés, Sandra
(1)
García Angosto, Enrique Ángel
(1)
García Sánchez, Antonio Javier
(1)
Show More
Show Less
Subject
Software
(5)
Hardware
(2)
Verification
(2)
3201.11 Radiología
(1)
7 INGENIERÍA Y TECNOLOGÍA
(1)
Accountant role
(1)
Accountant tasks
(1)
Accounting
(1)
Aprendizaje
(1)
Authentication
(1)
Show More
Show Less
Year
2018
(8)
2012
(2)
2019
(2)
2007
(1)
2016
(1)
Show More
Show Less
Document Type
Artículo
(8)
Show More
Show Less
Language
Inglés
(5)
Español
(3)
Show More
Show Less
Your search
Year:
2018
Subject:
Software Program Verification
Document Type:
Artículo
Sort by
Score
Title
Year
-
1-8 from
8
results
(0.023 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:
Programa de formación cultural en la CREB de Venero / Cultural training program in the CREB of Venero
Author:
Garcés, Maira
/
Robles, Álvaro
/
Escobar, Anis
/
Dunoyer, Edgardo
/
Payan, Elvis
/
Rocha, Evangelista
/
Guillén, Ereidis
/
Echeverría, Henry
/
Olivares, Juan
/
Rojas, Liliana
/
Mejía, María
/
Pérez, Orlando
/
Garcés, Sandra
/
Escobar, Sandra
/
Rocha, Yasmin
Language:
Español
Repository:
57
Subject:
Programa
/
Formación Cultura
/
actividades culturales
/
proyectos culturales
/
Program
/
Culture Training
/
cultural activities
/
cultural projects
Acceder
Title:
Laboratorios remotos: actualidad y tendencias futuras / Scientia et technica
Author:
Zamora Musa, Ronald
Language:
Español
Repository:
57
Subject:
TIC
/
Aprendizaje
/
Software
/
Hardware
/
Ruta caribe
/
Renata
/
Laboratorios remotos
Acceder
Title:
Plataforma NI-PXI para pruebas y medidas en RF hasta 6.6 GHz: acercamiento inicial / Scientia et Technica
Author:
Meléndez Pertuz, Farid
Language:
Español
Repository:
57
Subject:
Plataforma NI PXI
/
Señales
/
Software
/
Hardware
/
Comunicaciones
/
NI PXI platform
/
Signs
/
Communications
Acceder
Title:
Focus for interactive systems design through the incorporation of user in the development process
Author:
Viloria Silva, Amelec Jesus
/
Lis Gutierrez, Jenny Paola
Language:
Inglés
Repository:
57
Subject:
Interactive systems design
/
Process models
/
Software
/
Usability
/
User incorporation process development
Acceder
Title:
Gamification: software usage ecology
Author:
Costa, C. J.
/
Aparicio, M.
Language:
Inglés
Repository:
73
Subject:
Gamification
/
Game design
/
Gamification tools
/
Software
Acceder
Title:
Accounting and the ERP systems: case study
Author:
Machado, M.
/
Gomes, J.
Language:
Inglés
Repository:
73
Subject:
Accountant role
/
Accountant tasks
/
Accounting
/
Case study
/
ERP
/
SAP ERP
/
Service organization
/
Software
Acceder
« Previous
1
Next »