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

Datos de producción

  • Libro
  • Capítulo de libro
  • Publicación en revista
  • Producción académica
  • Patente
245
Total
10
Libro
123
Capítulo de libro
89
Publicación en revista
20
Producción académica
3
Patente
Estos datos han sido obtenidos desde el Sistema de Información Científica de Andalucía + Datos abiertos UGR.

Evolución producción científica

Producción por año
242
  • Libro 9
  • Capítulo de libro 123
  • Publicación en revista 87
  • Producción académica 20
  • Patente 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