Mostrando
21 - 26
Resultados de
26
Para Buscar '
Frias, M.F.
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Frias, M.F.
Mostrando
21 - 26
Resultados de
26
Para Buscar '
Frias, M.F.
'
, tiempo de consulta: 0.08s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
21
HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications
por
Giménez, M.
,
Moscato, M.M.
,
Pombo, C.G.L.
,
Frias
,
M.F
.
,
Ribeiro L.
,
Aguirre N.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
22
Reasoning about static and dynamic properties in alloy: A purely relational approach
por
Frias
,
M.F
.
,
López Pombo, C.G.
,
Baum, G.A.
,
Aguirre, N.M.
,
Maibaum, T.S.E.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
23
Towards abstraction for DynAlloy specifications
por
Aguirre, N.M.
,
Frias
,
M.F
.
,
Ponzio, P.
,
Cardiff, B.J.
,
Galeotti, J.P.
,
Regis, G.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
24
Parallel bounded analysis in code with rich invariants by refinement of field bounds
por
Rosner, N.
,
Galeotti, J.
,
Bermúdez, S.
,
Blas, G.M.
,
De Rosso, S.P.
,
Pizzagalli, L.
,
Zemín, L.
,
Frias
,
M.F
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
25
Parallel bounded verification of alloy models by tranScoping
por
Rosner, N.
,
Pombo, C.G.L.
,
Aguirre, N.
,
Jaoua, A.
,
Mili, A.
,
Frias
,
M.F
.
,
Rybalchenko A.
,
Rybalchenko A.
,
Cohen E.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
26
Ranger: Parallel analysis of alloy models by range partitioning
por
Rosner, N.
,
Siddiqui, J.H.
,
Aguirre, N.
,
Khurshid, S.
,
Frias
,
M.F
.
,
IEEE Computer Society; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Technical Council on Software Engineering (TCSE); ACM SIGART; NASA
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
[1]
Anterior
1
2
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Alloy
SAT-solving
Specifications
Formal logic
Software engineering
Alloy analyzers
Alloys
Computer software
Alloying
Cerium alloys
Propositional formulas
Dynamic logic
Model checking
Software testing
Abstracting
Algebra
Alloy languages
DynAlloy
Formal methods
Java programming language
Propositional variables
SAT solvers
Static analysis
Verification
Atomic transition
Autopilot systems
Calculations
Code analysis
Computational complexity
Computer programming languages
Cargando...