Tesis doctoral de Ricardo Peña Mari

Información academica Ricardo Peña Mari. Tesis donde Ricardo Peña Mari ha sido autor, director o parte del tribunal.

Tecnicas de implementacion de redes de petri.

Tesis doctoral de Briz Velasco José Luis La tesis hace una revision de las tecnicas existentes de implementacion de redes […]

Briz Velasco José Luis, Colom Piazuelo José Manuel, Julio Ramon Beivide Palacio, Ricardo Peña Mari, Victor Viñals Yufera, Villarroel Salcedo José Luis

Arquitectura de programas a partir de especificaciones formales

Tesis doctoral de Joaquin Salvachua Rodriguez Lotos es un lenguaje de especificacion para la descripcion de protocolos entre sistemas abiertos.

Joaquin Salvachua Rodriguez, Jorge Mataix Oltra, Juan Antonio De La Puente Alfaro, Juan Quemada Vives, Mañas Argemi José Antonio, Ricardo Peña Mari

Tecnicas formales para el desarrollo jerarquico de sistemas concurrentes

Tesis doctoral de Alonso Gonzalez Luis M. Se presenta un metodo para el desarrollo de sistemas concurrentes, aplicable a sistemas

Alonso Gonzalez Luis M., Angel Alvarez Rodriguez, De Frutos Escrig David, José María Troya Linero, marisa Navarro gómez, Ricardo Peña Mari

Implementacion de especificaciones algebraicas

Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su

José María Troya Linero, Mario Rodríguez Artalejo, marisa Navarro gómez, Ricardo Peña Mari, Sanchez Ortega Ana R., Silvia Clerici Martinez