Directorios

Enlace: http://invest.ugr.es/Grupos/grupos.asp?ref=TIC-157

Descripción: U. de Granada - Sus Líneas de Trabajo: Lógica temporal aplicada a la especificación y verificación de sistemas reactivos. Métodos formales de especificación de sistemas concurrentes. Reusabilidad de componenetes software paralelos(aplicados al desarrollo de métodos numéricos). Nuevas tecnologías de programación de sistemas concurrentes.

Palabras clave: UNIVERSIDAD DE GRANADA ,SISTEMAS INFORMATICOS,SISTEMAS CONCURRENTES,SOFTWARE,