Refine your Search
Author
Subject
Year
Document Type
401-409 from 409 results
(0.84 seconds)
-
Title: Evaluación de compatibilidad y complejidad para el reuso de serviciosAuthor: Flores, Andrés P. / Cechich, Alejandra / Garriga, Martín / Moyano, Marcelo / De Renzis, Alan / Anabalon, Diego / Corgatelli, FrancoLanguage: EspañolRepository: 37
-
Title: Verificación de propiedades temporales de diseños community: un caso de estudioAuthor: Aguirre, Nazareno Matías / Regis, GermánLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Temporal logic / Design languages / Verification
-
Title: Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPINLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Distributed Systems / Model checking / Simulation / Verification
-
Title: Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma EthereumLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / blockchain / Ethereum / smart contract / Solidity / Vyper / static analysis tool / Verification / security patterns
-
Title: Contribuciones a la verificación funcional modernaAuthor: Goñi, Oscar EnriqueLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / punto flotante / Verification / Computer arithmetic / análisis de resolución / HIL / Simulation / HDL
-
Title: Verificación del hablante mediante dispositivos móviles en entornos ruidososAuthor: Etchart, Graciela / Ruíz, Silvia / Miranda, Ernesto / Aguirre, Juan José / Herlein, Mauro / Alvez, Carlos E.Language: EspañolRepository: 37Subject: Ciencias Informáticas / Verification / biometría de voz / dispositivos móviles
-
Title: Avances en reuso orientado a serviciosAuthor: Flores, Andrés P. / Cechich, Alejandra / Garriga, Martín / Moyano, Marcelo / De Renzis, AlanLanguage: EspañolRepository: 37
-
Title: Verificación formal y refinamientos en P/PMLAuthor: Díaz, Javier RobertoLanguage: EspañolRepository: 37
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