Mostrando
1 - 5
Resultados de
5
Para Buscar '
Pavese, E.
'
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
Pavese, E.
Mostrando
1 - 5
Resultados de
5
Para Buscar '
Pavese, E.
'
, tiempo de consulta: 0.09s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Probabilistic Interface Automata
por
Pavese
,
E
.
,
Braberman, V.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
2
Less is more: Estimating probabilistic rewards over partial system explorations
por
Pavese
,
E
.
,
Braberman, V.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
3
Chemical control of weeds in peanuts (Arachis hipogaea L.) in the Province of Córdoba
por
Toranzo, J. O.
,
Pavese
,
E
. J.
Aportado por:
Revistas de la UNC
Enlace del recurso
Artículo revista
Agregar a favoritos
Guardado en:
4
Chemical control of weeds in peanuts (Arachis hipogaea L.) in the Province of Córdoba
por
Toranzo, J. O.
,
Pavese
,
E
. J.
Aportado por:
Revistas de la UNC
Enlace del recurso
Artículo revista
Agregar a favoritos
Guardado en:
5
High-coverage testing of navigation models in android applications
por
Paulovsky, F.
,
Pavese
,
E
.
,
Garbervetsky, D.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Model checking
Probability
Android (operating system)
Android Testing
Android applications
Automata theory
Automatic Testing
Automatic testing
Behaviour models
Coverage testing
Estimation
GUI-based Testing
Interface automata
Mean time to first failure
Navigation model
Partial verification
Probabilistic extension
Probabilistic model checking
Probabilistic modelling
Qualitative information
Quantitative information
Quantitative measures
Quantitativemodelling
Reliability engineering
Reliability estimation
Software Specification
Software testing
Specifications
Statistical model checking
Systematic exploration
Cargando...