Animación de especificaciones oasis mediante redes de petri orientadas a objeto.
Tesis doctoral de Pedro Sánchez Palma La validación mediante animación permite el desarrollo sistemático de especificaciones software claras, concisas, precisas […]
Tesis doctoral de Manuel Silva suárez
Información academica Manuel Silva suárez. Tesis donde Manuel Silva suárez ha sido autor, director o parte del tribunal.
Contributions to the structural and symbolic analysis of place/transition nets, with applications to flexible manufacturing systems and asynchronous circuits.
Tesis doctoral de Fernando Garcia Valles El marco general del trabajo es el análisis de sistemas de eventos discretos modelados
Mobile robot localization and map building: a multisensor fusion approach.
Tesis doctoral de Castellanos Gomez José Angel El presente trabajo describe nuestra reciente investigación en los campos de localización y
Metodos estructurales para el diseño y analisis de sistemas concurrentes modelados con redes lugar/transicion.
Tesis doctoral de Laura Recalde Frison Uno de los métodos computacionalmente más eficientes para el análisis de redes de petri
Vision tridimensional basada en segmentos.
Tesis doctoral de José María Martinez Montiel La presente tesis doctoral esta dedicada a la vision por computador basada en
Algorithms and architectures for efficient heterogeneous multisensory integration in robotics.
Tesis doctoral de Garcia Garcia Miguel Angel En esta tesis se realizan varias propuestas en el area de integracion multisensorial
Planificacion automatica y supervision de operaciones de montaje mediante robots.
Tesis doctoral de Raúl Suárez Feijoo Uno de los principales problemas a resolver en la automatizacion total de una tarea
Percepcion activa en reconocimiento geometrico basado en restricciones
Tesis doctoral de Carlos Sagues Blazquiz Conforme los robots van incorporandose a tareas en las que se realizan operaciones de
Performance bounds for synchronized queueing networks
Tesis doctoral de Javier Campos Laclaustra Las redes de petri estocasticas constituyen un modelo unificado de las diferentes extensiones de
Nuevas tecnicas de procesado de señales electrocardiograficas: aplicacion a registros de larga duracion.
Tesis doctoral de Pablo Laguna Lasaosa Datos académicos de la tesis doctoral «Nuevas tecnicas de procesado de señales electrocardiograficas: