Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
20
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Verification
Ciencias Informáticas
20
Formal methods
8
Model checking
8
Alloy analyzers
6
Alloys
6
Computer aided software engineering
6
Eclipse plug-in
6
Software verification
6
Specifications
6
Validation
6
Alloy Analyzer
4
Automata theory
4
Data structures
4
Design
4
Plug-ins
4
Real time systems
4
Semantics
4
Specification languages
4
Theorem provers
4
Timed automata
4
Web-based services
3
Active field
2
Aliasing
2
Analysis and verifications
2
Analysis problems
2
Assumptions
2
Automata
2
Automated analysis
2
Automated program verification
2
-
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 -
18
-
19
-
20por Flores, Andrés P., Cechich, Alejandra, Garriga, Martín, Moyano, Marcelo, De Renzis, Alan
Publicado 2014Aportado por: SEDICI (UNLP)Objeto de conferencia