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
37
(1)
61
(1)
Show More
Show Less
Author
Argañaraz, Mauro C.
(1)
Berón, Mario
(1)
Guerrero M.
(1)
Marrugo A.G.
(1)
Meneses J.
(1)
Meza J.
(1)
Rangel Henriques, Pedro
(1)
Riesco, Daniel Eduardo
(1)
Romero L.A.
(1)
Sierra E.
(1)
Show More
Show Less
Subject
Verification
(2)
Antennas
(1)
Cameras
(1)
Ciencias Informáticas
(1)
Co-ordinate system
(1)
Computer vision techniques
(1)
Cost effectiveness
(1)
Digital elevation model
(1)
Ethereum
(1)
Experimental verification
(1)
Show More
Show Less
Year
2020
(2)
2018
(1)
Show More
Show Less
Document Type
Conferencia
(1)
Sin Especificar
(1)
Show More
Show Less
Language
Inglés
(1)
Español
(1)
Show More
Show Less
Your search
Subject:
Software/Program Verification
Subject:
Verification
Year:
2020
Sort by
Score
Title
Year
-
1-2 from
2
results
(0.012 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:
Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
Author:
Argañaraz, Mauro C.
/
Berón, Mario
/
Rangel Henriques, Pedro
/
Riesco, Daniel Eduardo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
blockchain
/
Ethereum
/
smart contract
/
Solidity
/
Vyper
/
static analysis tool
/
Verification
/
security patterns
Acceder
« Previous
1
Next »