Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
20
Verification
Validation
6
Web-based services
3
Ethereum
2
Formal methods
2
Lenguajes de Programación
2
Model checking
2
Requirements/Specifications
2
Simulation
2
Software quality assurance (SQA)
2
Solidity
2
Vyper
2
blockchain
2
correctness properties
2
ingeniería de software basada en reuso
2
security patterns
2
smart contract
2
software orientado a servicios
2
soundness
2
static analysis tool
2
Compilers
1
Computer arithmetic
1
Design languages
1
Distributed Systems
1
HDL
1
HIL
1
Language models
1
Reusable Software
1
Security
1
-
1
-
2
-
3por Argañaraz, Mauro C., Berón, Mario, Varanda Pereira, Maria João, Rangel Henriques, Pedro, Riesco, Daniel Eduardo
Publicado 2021Aportado por: SEDICI (UNLP)Objeto de conferencia -
4
-
5por Argañaraz, Mauro C., Berón, Mario, Rangel Henriques, Pedro, Riesco, Daniel Eduardo
Publicado 2020Aportado por: SEDICI (UNLP)Objeto de conferencia -
6
-
7
-
8por De Greca, Francisco, Rossi, Bibiana D., Robiolo, Gabriela, Travassos, Guilherme Horta
Publicado 2015Aportado por: SEDICI (UNLP)Objeto de conferencia -
9
-
10por Etchart, Graciela, Ruíz, Silvia, Miranda, Ernesto, Aguirre, Juan José, Herlein, Mauro, Alvez, Carlos E.
Publicado 2017Aportado por: SEDICI (UNLP)Objeto de conferencia -
11
-
12por Flores, Andrés P., Cechich, Alejandra, Garriga, Martín, Moyano, Marcelo, De Renzis, Alan, Anabalon, Diego, Corgatelli, Franco
Publicado 2018Aportado por: SEDICI (UNLP)Objeto de conferencia -
13
-
14
-
15
-
16por Flores, Andrés P., Cechich, Alejandra, Garriga, Martín, Moyano, Marcelo, Cors, Israel
Publicado 2013Aportado por: SEDICI (UNLP)Objeto de conferencia -
17por Bavera, Francisco, Nordio, Martín, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel Alfredo
Publicado 2005Aportado por: SEDICI (UNLP)Objeto de conferencia -
18por Flores, Andrés P., Cechich, Alejandra, Garriga, Martín, Moyano, Marcelo, De Renzis, Alan
Publicado 2014Aportado por: SEDICI (UNLP)Objeto de conferencia -
19
-
20