Especificacion y verificacion de sistemas reactivos utilizando metodos estructurados y logica temporal
Tesis doctoral de Tuya Gonzalez Pablo Javier En esta tesis se integran los metodos estructurados (sa/rt) junto con metodos formales […]
Accede a todas las tesis doctorales sobre Ciencias Tecnológicas mas relevantes.
Tesis doctoral de Tuya Gonzalez Pablo Javier En esta tesis se integran los metodos estructurados (sa/rt) junto con metodos formales […]
Tesis doctoral de Vega Arias Ruben Dario Con las tecnicas expuestas para el analisis conseguimos un registro sistematico de todos
Tesis doctoral de Jesús Pérez Arriaga En la tesis se desarrolla un metodo original para la aplicacion de optica fisica
Tesis doctoral de Manuel Lopez Sanchez En esta tesis se realiza un estudio comparativo de diferentes tecnicas de control robusto.
Tesis doctoral de Tomas Sanchez Nieto Primeramente se evalua la influencia que sobre la calidad de la conserva de champiñon
Tesis doctoral de Valle Gonzalez M. Isabel Del La tesis tiene como objetivo fundamental lograr un control continuo y preciso
Tesis doctoral de Marcos Plaza Julián De Se ha analizado el comportamiento de un accionamiento con control vectorial indirecto, en
Tesis doctoral de Burdio Pinilla José Miguel Esta tesis presenta un modelo dinamico no lineal en el espacio de estados
Tesis doctoral de Francisco Serraller Sanchez La caracterizacion del flujo en molde de los materiales termoplasticos, abs procesados por inyeccion
Tesis doctoral de Diaz Trujillo Gerardo Cesar Llevar a cabo una caracterizacion y purificacion de un residuo generado en las