Tesis doctorales: TESEO

Ficha de Tesis

  • Título:  AUTOMATING THE ANALYSIS OF STATEFUL FEATURE MODELS
  • Autor:  Trinidad Martín-Arroyo, Pablo
  • Universidad:  Universidad de Sevilla
  • Departamento:  Lenguajes y sistemas informáticos
  • Fecha de Lectura:  10/12/2012
  • Programa de doctorado:  LENGUAJES Y SISTEMAS INFORMATICOS
  • Dirección: 
    • RUÍZ CORTÉS, ANTONIO (DIRECTOR)
  • Tribunal: 
    • Toro Bonilla, Miguel (PRESIDENTE)
    • PELECHANO FERRAGUD, VICENTE (SECRETARIO)
    • Hinchey, Michael G. (VOCAL)
    • VALLECILLO MORENO, ANTONIO (VOCAL)
    • Egyed, Alexander (VOCAL)
  • Descriptores: 
    • APLICACIONES DE LA LOGICA
    • SOFTWARE
    • INFORMATICA
  • Localización:  SERVICIO DE DOCTORADO, UNIVERSIDAD DE SEVILLA
  • Marcador:  https://www.educacion.gob.es/teseo/mostrarRef.do?ref=994662Añadir a favoritos.
  • Resumen:

Versión 4.4

© Ministerio de Universidades