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

Investigador(es) Principal(es) (1)

Miembros (3)

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