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
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 21-21 de 21.
Anterior
1
2
3
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
10
Müller, Hausi A.
7
Tamura Morimitsu, Gabriel
4
Castañeda, Lorena
3
Ng, Joanna
2
Becker, Basil
2
CASCON Conference of the Center f...
2
Duchien, Laurence
.
siguiente >
Materia / Palabra clave
12
Automatización y sistemas de control
10
Ingeniería de sistemas y comunica...
10
Systems engineering
9
Automation Command and control sy...
4
Sistemas de software
3
Interacción hombre-computador
3
Web
.
siguiente >
Tiene archivos
21
true
Fecha de publicación
6
2014
4
2010
4
2013
3
2011
2
2012
1
2008
1
2009