TESIS DOCTORALES - TESEO

  • Título:  ESPECIFICACION Y VERIFICACION DE SISTEMAS REACTIVOS UTILIZANDO METODOS ESTRUCTURADOS Y LOGICA TEMPORAL
  • Autor:  TUYA GONZALEZ PABLO JAVIER
  • Universidad:  Universidad de Oviedo
  • Fecha de Lectura:  01/01/1995
  • Programa de doctorado:  DESCONOCIDO
  • Dirección: 
    • CORRALES GONZALEZ, JOSE ANTONIO    (Director)
  • Tribunal: 
    • BOTELLA LÓPEZ, PERE    (presidente)
    • DIEZ GONZALEZ, ALBERTO BENJAMIN    (secretario)
    • GONZALEZ ALONSO, OLIVERIO    (vocal)
    • MARTINEZ RODRIGUEZ FCO. JAVIER    (vocal)
    • OJEA MERIN, GUILLERMO    (vocal)
  • Descriptores: 
    • CIENCIAS TECNOLOGICAS
    • TECNOLOGIA DE LOS ORDENADORES
    • INGENIERIA DE CONTROL
    • TECNOLOGIA DE LA INSTRUMENTACION
    • SISTEMAS EN TIEMPO REAL
  • Resumen: