Skip navigation
Toggle navigation
Inicio
Listar
Comunidades
Fecha Publicación
Autor
Título
Materia
Tipo de documento
Idiomas
português
Deutsch
English
español
Servicios
Mi DSpace
Alertas
Editar perfil
Ayuda
Biblioteca Digital - Universidad icesi
Buscar
Buscar:
Todo DSpace
Artes, letras y diseño
Centro de Información sobre la Cooperación Internacional América Latina y el Caribe
Centros Académicos
Ciencias
Ciencias administrativas
Derecho
Economía
Empresa
Humanidades y ciencias sociales
Investigación
Publicaciones Icesi
Salud
Tecnología
por
Filtros actuales:
Titulo
Autor
Materia / Palabra clave
Tipo de documento
Fecha de publicación
Has File(s)
Igual
Contiene
ID
Diferente de
No contiene
No ID
Titulo
Autor
Materia / Palabra clave
Tipo de documento
Fecha de publicación
Has File(s)
Igual
Contiene
ID
Diferente de
No contiene
No ID
Titulo
Autor
Materia / Palabra clave
Tipo de documento
Fecha de publicación
Has File(s)
Igual
Contiene
ID
Diferente de
No contiene
No ID
Titulo
Autor
Materia / Palabra clave
Tipo de documento
Fecha de publicación
Has File(s)
Igual
Contiene
ID
Diferente de
No contiene
No ID
Titulo
Autor
Materia / Palabra clave
Tipo de documento
Fecha de publicación
Has File(s)
Igual
Contiene
ID
Diferente de
No contiene
No ID
Titulo
Autor
Materia / Palabra clave
Tipo de documento
Fecha de publicación
Has File(s)
Igual
Contiene
ID
Diferente de
No contiene
No ID
Titulo
Autor
Materia / Palabra clave
Tipo de documento
Fecha de publicación
Has File(s)
Igual
Contiene
ID
Diferente de
No contiene
No ID
Titulo
Autor
Materia / Palabra clave
Tipo de documento
Fecha de publicación
Has File(s)
Igual
Contiene
ID
Diferente de
No contiene
No ID
Titulo
Autor
Materia / Palabra clave
Tipo de documento
Fecha de publicación
Has File(s)
Igual
Contiene
ID
Diferente de
No contiene
No ID
Iniciar una nueva búsqueda
Añadir filtros:
Utilice filtros para refinar los resultados de búsqueda.
Titulo
Autor
Materia / Palabra clave
Tipo de documento
Fecha de publicación
Has File(s)
Igual
Contiene
ID
Diferente de
No contiene
No ID
Resultados 1-1 de 1.
Anterior
1
Siguiente
Resultados por ítem:
Towards practical runtime verification and validation of self-adaptive software systems
Tamura Morimitsu, Gabriel
;
Wong, Kwok Yee Michael
;
Tahvildari, Ladan
;
Schäfer, Wilhelm J.
;
Pezzè, Mauro
;
Mankovskii, Serge
;
Karsai, Gábor
;
Becker, Basil
;
Sousa, João Pedro
;
Müller, Hausi A.
;
Villegas Machado, Norha Milena
29-oct-2010
Discover
Autor
1
Mankovskii, Serge
1
Pezzè, Mauro
1
Schäfer, Wilhelm J.
1
Sousa, João Pedro
1
Tahvildari, Ladan
1
Tamura Morimitsu, Gabriel
1
Wong, Kwok Yee Michael
.
siguiente >
Materia / Palabra clave
1
Automation Command and control sy...
1
Sistemas de software
Tiene archivos
1
true