Novedades Ayuda Acceso institucional

Buscar recursos académicos

Encontrá libros, artículos, revistas, tesis y otros recursos académicos. Buscá, elegí el resultado correcto y accedé al contenido.

Búsqueda avanzada
Qué reúne NODOVOX Discovery: catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.
medicina forense derecho revistas Open Access texto completo

Resultados

3 resultados encontrados.

Tipos de recurso: Libro electrónico Artículo Revista Tesis Capítulo
Búsqueda académica
Hardware in the loop and software in the loop testing of the MOVE-II CubeSat
Artículo
Acceso abierto Artículo RI ITBA
Hardware in the loop and software in the loop testing of the MOVE-II CubeSat
Kiesbye, Jonis et al · RI ITBA · 2020 · ISSN 2226-4310
"This article reports the ongoing work on an environment for hardware-in-the-loop (HIL) and software-in-the-loop (SIL) tests of CubeSats and the benefits gained from using such an environment for low-cost satellite devel...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Disponible en línea Ficha bibliográfica
Automatically identifying sufficient object builders from Module APIs
Texto / recurso
Acceso abierto Texto / recurso RI ITBA
Automatically identifying sufficient object builders from Module APIs
Ponzio, Pablo et al · RI ITBA · 2020 · ISSN 0302-9743
"Various approaches to software analysis (e.g. test input generation, software model checking) require engineers to (manually) identify a subset of a module’s methods in order to drive the analysis. Given a module to b...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Disponible en línea Ficha bibliográfica
EvoSpex: An evolutionary algorithm for learning postconditions (artifact)
Texto / recurso
Acceso abierto Texto / recurso RI ITBA
EvoSpex: An evolutionary algorithm for learning postconditions (artifact)
Molina, Facundo et al · RI ITBA · 2022
"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Disponible en línea Ficha bibliográfica