Toggle navigation
Repositorio Institucional
CONICET Digital
Inicio
EXPLORAR
AUTORES
DISCIPLINAS
COMUNIDADES
Estadísticas
Novedades
Noticias
Boletines
Ayuda
General
Datos de investigación
Acerca de
CONICET Digital
Equipo
Red Federal
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
Refinar búsqueda
Fecha de publicación
2017
1
2015
1
Disciplinas
Ciencias de la Computación
1
Ciencias de la Computación e Información
1
CIENCIAS NATURALES Y EXACTAS
1
Ingeniería de Sistemas y Comunicaciones
1
Ingeniería Eléctrica, Ingeniería Electrónica e Ingeniería de la Información
1
INGENIERÍAS Y TECNOLOGÍAS
1
Tipo de documento
Artículos
2
Tipo de acceso
Acceso abierto
2
Idioma
Inglés
2
Autor
Desharnais, Jules
2
Diallo, Nafi
2
Frias, Marcelo Fabian
2
Ghardallou, Wided
2
Mili, Ali
2
Jaoua, Ali
1
Jaoua, Ali
1
Palabras clave
ABSOLUTE CORRECTNESS
2
FAULT REMOVAL
2
RELATIVE CORRECTNESS
2
CORRECTNESS
1
FAULT DENSITY
1
FAULT DEPTH
1
FAULTS
1
PARTIAL CORRECTNESS
1
REFINEMENT LATTICE
1
REFINEMENT ORDERING
1
... Ver mas
Buscar
Filtros
Use los filtros para refinar su búsqueda.
Filtro actual:
Titulo
Autor
Fecha de publicación
Tipo de documento
xmlui.ArtifactBrowser.SimpleSearch.filter.acceso
Idioma
xmlui.ArtifactBrowser.SimpleSearch.filter.subjectClassification
Tema
Contiene
Es igual
No contiene
No es igual
Nuevo filtro:
Titulo
Autor
Fecha de publicación
Tipo de documento
xmlui.ArtifactBrowser.SimpleSearch.filter.acceso
Idioma
xmlui.ArtifactBrowser.SimpleSearch.filter.subjectClassification
Tema
Contiene
Es igual
No contiene
No es igual
Autor:Mili, Ali
X
Mostrando 2 de un total de 2 resultados.
(0.004 segundos)
Mostrando ítems 1-2 de 2
1
Orden:
Relevancia
Titulo Asc
Titulo Desc
Fecha de publicación Asc
Fecha de publicación Desc
Resultados por página:
5
10
20
40
60
80
100
Artículo
Relational mathematics for relative correctness
Desharnais, Jules
;
Diallo, Nafi
;
Ghardallou, Wided
;
Frias, Marcelo Fabian
;
Jaoua, Ali
;
Mili, Ali
(
Springer
,
2015-09
)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo
What is a fault? and why does it matter?
Diallo, Nafi
;
Ghardallou, Wided
;
Desharnais, Jules
;
Frias, Marcelo Fabian
;
Jaoua, Ali
;
Mili, Ali
(
Springer London
,
2017-09
)
Ingeniería de Sistemas y Comunicaciones. Ingeniería Eléctrica, Ingeniería Electrónica e Ingeniería de la Información. Ingenierías y Tecnologías
Mostrando ítems 1-2 de 2
1
Orden:
Relevancia
Titulo Asc
Titulo Desc
Fecha de publicación Asc
Fecha de publicación Desc
Resultados por página:
5
10
20
40
60
80
100