SEDICI - Repositorio de la Universidad Nacional de La Plata
Inicio
Buscar material
Colecciones
Autores
Temas
Subir material
Institucional
¿Que es SEDICI?
Políticas del repositorio
Links
Staff
Cómo llegar
Preguntas frecuentes
Cómo agregar trabajos
Información para tesistas
Revistas de Acceso Abierto
Más preguntas frecuentes
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
Refine su busqueda
Tipo de documento
Objeto de conferencia (3)
Fecha de publicación
2005 (3)
Materia
Ciencias Informáticas (3)
Autor
Aguirre, Nazareno Matías (3)
Mac Donnell, Patricio (1)
Novaira, Maria Marta (1)
Permigiani, Sonia (1)
Regis, Germán (1)
Palabra Clave
Temporal logic (2)
Verification (2)
Design languages (1)
Formal methods (1)
lenguaje de especificaciones (1)
Lenguajes de Programación (1)
operador para composición paralela (1)
Programming Environments (1)
validación de propiedades (1)
Validation (1)
Red de Universidades con Carreras en Informática (RedUNCI)
→
Eventos
→
CACIC
→
CACIC 2005
CACIC 2005
Resultados de su búsqueda...
Mostrando 3 de un total de 3 resultados de la colección: CACIC 2005.
(0.079 segundos)
Mostrando ítems 1-3 de 3
1
Objeto de conferencia
XI Congreso Argentino de Ciencias de la Computación
2005
Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
Mac Donnell, Patricio; Aguirre, Nazareno Matías
Objeto de conferencia
XI Congreso Argentino de Ciencias de la Computación
2005
Hacia la composición paralela de programas en DynAlloy
Aguirre, Nazareno Matías; Novaira, Maria Marta; Permigiani, Sonia
Objeto de conferencia
XI Congreso Argentino de Ciencias de la Computación
2005
Verificación de propiedades temporales de diseños community: un caso de estudio
Aguirre, Nazareno Matías; Regis, Germán
Mostrando ítems 1-3 de 3
1
Iniciar sesión
Resultados
5
10
20
40
60
80
100
Ordenar por
Relevancia
Título (ascendente)
Título (descendente)
Fecha de publicación (ascendente)
Fecha de publicación (descendente)
Fecha de carga (ascendente)
Fecha de carga (descendente)