Tesis doctorales: TESEO

Ficha de Tesis

  • 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
  • Marcador:  https://www.educacion.es/teseo/mostrarRef.do?ref=146034Añadir a favoritos.
  • Resumen:

versión 4.2

© Ministerio de Educación, Cultura y Deporte