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
34
(1)
37
(1)
61
(1)
72
(1)
Show More
Show Less
Author
Ale, Mariel Alejandra
(1)
Ballejos, Luciana C.
(1)
García Angosto, Enrique Ángel
(1)
García Sánchez, Antonio Javier
(1)
Guerrero M.
(1)
Konig, Fabio
(1)
Marrugo A.G.
(1)
Meneses J.
(1)
Meza J.
(1)
Moreno Riquelme, Pedro Antonio
(1)
Show More
Show Less
Subject
Verification
(4)
3201.11 Radiología
(1)
7 INGENIERÍA Y TECNOLOGÍA
(1)
Antennas
(1)
Authentication
(1)
Cameras
(1)
Ciencias Informáticas
(1)
Co-ordinate system
(1)
Computer vision techniques
(1)
Cost effectiveness
(1)
Show More
Show Less
Year
2018
(4)
2007
(1)
2017
(1)
2020
(1)
Show More
Show Less
Document Type
Artículo
(2)
Conferencia
(1)
Sin Especificar
(1)
Show More
Show Less
Language
Inglés
(4)
Show More
Show Less
Your search
Subject:
Software/Program Verification
Language:
Inglés
Year:
2018
Sort by
Score
Title
Year
-
1-4 from
4
results
(0.015 seconds)
Title:
A structure-from-motion pipeline for topographic reconstructions using unmanned aerial vehicles and open source software
Author:
Meza J.
/
Marrugo A.G.
/
Sierra E.
/
Guerrero M.
/
Meneses J.
/
Romero L.A.
Language:
Inglés
Repository:
61
Subject:
Geomatics
/
Open source software
/
Structure from motion
/
Antennas
/
Cameras
/
Cost effectiveness
/
Object recognition
/
Open systems
/
Optical radar
/
Photogrammetry
/
Pipelines
/
Remote sensing
/
Repair
/
Rock mechanics
/
Surveying
/
Tracking radar
/
Unmanned aerial vehicles (UAV)
/
Verification
/
Co-ordinate system
/
Computer vision techniques
/
Digital elevation model
/
Experimental verification
/
Ground control points
/
Topographic reconstruction
Title:
A semi-automatic verification tool for software requirements specification documents
Author:
Konig, Fabio
/
Ballejos, Luciana C.
/
Ale, Mariel Alejandra
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Software Quality Models
/
Requirements/Specifications
/
Verification
Acceder
Descargar
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
« Previous
1
Next »