Diseño y verificacion de sistemas distribuidos mediante la aplicación combinada de metodos formales
Tesis doctoral de Alberto Gil Solla Esta tesis doctoral se centra en la aplicación de las tecnicas formales al diseño […]
Tesis doctoral sobre Teoría de lenguajes formales
Accede a todas las tesis doctorales sobre Teoría de lenguajes formales mas relevantes.
Bases de gÁ¶bner: desarrollo formal en coq
Tesis doctoral de Gilberto Pérez Vega En primer lugar, se aborda, de forma ajustada a lo que se va a
Matrix graph grammars
Tesis doctoral de Pedro Pablo Pérez Velasco Esta tesis presenta una algebraización de las gramáticas de grafos. Desde el punto
From sofware architecture to formal verification of a distributed system
Tesis doctoral de Sanchez Penas Juan Jose La tesis estudia como ir desde la arquitectura software a la verificación formal
Investigaciones sobre gramáticas categoriales: algoritmos de parsing y equiValencia entre formalismos
Tesis doctoral de José Antonio Jimenez Millan Esta tesis doctoral muestra el resultado de una investigación sobre la utilización del
Algoritmos eficientes de estados finitos para la aplicación de gramáticas locales
Tesis doctoral de JavierMiguel Sastre Martínez Este trabajo se centra en la investigación y el desarrollo de algoritmos eficientes de
El viaje de fuego. el acto creativo como movimiento continuo de accesibilidad
Tesis doctoral de Francisco Javier Villalobos Santos Isbn:? 9788469410677 Datos académicos de la tesis doctoral «El viaje de fuego.
Evolving complexity and similarity an artificial life framework based on formal language theory
Tesis doctoral de Gema M. Martin Reyes Evolving complexity and similarity in an artificial life framework based on formal language
Contributions to formal communication elimination for system models with explicit parallelism
Tesis doctoral de Francesc Xavier Babot Pagés Los métodos de verificación formal se están usando cada vez más en la
Modelos predictivos basados en redes neuronales recurrentes de tiempo discreto
Tesis doctoral de Juan Antonio Pérez Ortiz Este trabajo estudia la aplicación de distintos modelos de redes neuronales recurrentes de