Memorias de investigación
Artículos en revistas:
Foundations of Boolean Stream Runtime Verification
Año:2014

Áreas de investigación

Datos
Descripción
0
Internacional
Si
JCR del ISI
Si
Título de la revista
RUNTIME VERIFICATION, RV 2014
ISSN
0302-9743
Factor de impacto JCR
0
Información de impacto
Volumen
8734
DOI
Número de revista
Desde la página
64
Hasta la página
79
Mes
Ranking
0

Esta actividad pertenece a memorias de investigación

Participantes
  • Autor: laura bozzelli UPM
  • Autor: cesar sanchez

Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: No seleccionado
  • Departamento: Inteligencia Artificial