Lenguaje de especificacion y particionado hardware/software para codiseño de sistemas.
Tesis doctoral de Perez Castellano Juan Francisco Isbn:? 978-84-691-7128-8 Datos académicos de la tesis doctoral «Lenguaje de especificacion y […]
Tesis doctoral de Carlos Delgado Kloos
Información academica Carlos Delgado Kloos. Tesis donde Carlos Delgado Kloos ha sido autor, director o parte del tribunal.
Observadores lineales: un lenguaje de especificacion de propiedades para verificacion de protocolos.
Tesis doctoral de Pedro Merino Gomez La verificación de protocolos es una actividad fundamental para localizar errores de diseño y
Sintesis formal de alto nivel por derivacion automatica. aspectos teoricos, metodologicos y practicos.
Tesis doctoral de Mendias Cuadros José Manuel El objetivo de esta investigación es, por un lado, desarrollar las bases teóricas
Una arquitectura software para el desarrollo de servicios avanzados de telecomunicacion.
Tesis doctoral de Lidia Fuentes Fernández Dentro de este trabajo se abordan aspectos relacionados con el diseño de arquitecturas software
Definicion de una metodología para el desarrollo de sistemas multiagente
Tesis doctoral de Iglesias Fernandez Carlos Angel Esta tesis define una metodología para el desarrollo de sistemas multiagente, integrando técnicas
Un enfoque formal de la descripcion unificada de sistemas analogicos y digitales.
Tesis doctoral de Natividad Martinez Madrid Los sistemas con componentes tanto analógicos como digitales han sido objeto de considerable estudio
Prueba incremental de modelos de sistemas de tiempo real.
Tesis doctoral de Alvaro Rendon Gallon Se define una metodología de pruebas para sistemas de tiempo real integrada al proceso
Contribucion a la especificacion de aspectos no funcionales de sistemas hardware-software.
Tesis doctoral de Luis Sanchez Fernandez El codiseño hardware-software es una disciplina para el diseño de sistemas embebidos aparecida recientemente,
Diseño formal orientado a hardware de sistemas telematicos: de lotos a vhdl.
Tesis doctoral de Andres Marin Lopez En esta tesis se propone el uso de una metodología basada en los lenguajes
Transformacion y verificacion con lotos
Tesis doctoral de José Juan Pazos Arias El trabajo de la tesis es una contribucion al diseño y desarrollo de