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: 
    • RUIZ 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.es/teseo/mostrarRef.do?ref=994662Añadir a favoritos.
  • Resumen:

versión 4.2

© Ministerio de Educación, Cultura y Deporte