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
(9)
37
(8)
50
(6)
60
(5)
62
(5)
40
(4)
56
(2)
21
(1)
54
(1)
71
(1)
Show More
Show Less
Author
Aguas Romero, Luis
(1)
Aguirre Lora, Diego Camilo
(1)
Agüero, Martín Jorge
(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)
Arévalo Gutiérrez, Daniel Hernán
(1)
Barrios Solano, Santiago Andrés
(1)
Show More
Show Less
Subject
Software
(36)
Ciencias Informáticas
(8)
Hardware
(7)
Facultad de ingeniería
(4)
Program
(4)
Tesis
(4)
Tesis ingeniería
(4)
Ingeniería de sistemas
(3)
Programa
(3)
Verification
(3)
Show More
Show Less
Year
2018
(42)
2017
(9)
2019
(6)
2014
(4)
2012
(3)
2016
(3)
2013
(2)
2015
(2)
2020
(2)
2001
(1)
Show More
Show Less
Document Type
Tesis
(31)
Sin Especificar
(8)
Artículo
(3)
Show More
Show Less
Language
Español
(42)
Show More
Show Less
Your search
Year:
2018
Subject:
Software Program Verification
Language:
Español
Sort by
Score
Title
Year
-
41-42 from
42
results
(0.014 seconds)
Title:
Evaluación de compatibilidad y complejidad para el reuso de servicios
Author:
Flores, Andrés P.
/
Cechich, Alejandra
/
Garriga, Martín
/
Moyano, Marcelo
/
De Renzis, Alan
/
Anabalon, Diego
/
Corgatelli, Franco
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
ingeniería de software basada en reuso
/
Web-based services
/
software orientado a servicios
/
Verification
/
calidad de software
/
Validation
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
Next »