Sistemas Concurrentes

Datos abiertos UGR
Grupo: TIC157
Rama: TIC
Acrónimo: SSCC
Web: Enlace
Situación grupo: Definitivo
Estado grupo: Válido
Área unesco: LENGUAJES DE PROGRAMACIÓN (VER 5701.04), Lenguajes formalizados, Logicales de ordenadores, Sistemas de información, diseño y componentes, Sistemas en tiempo real
Investigador responsable: MANUEL ISIDORO CAPEL TUÑON

Listado de proyectos I+D+i

Listando 0 Proyectos
No hay resultados

No hay ningún proyecto.

Web

Enlace web

Palabras clave

ESPECIFICACION Y VERIFICACION FORMAL DE SOFTWARE, LOGICA TEMPORAL, MODEL CHECKING ON-THE-FLY, SISTEMAS CONCURRENTES, SISTEMAS DE TIEMPO-REAL, SISTEMAS EMPOTRADOS