Juan C. Bordón
Periodo de publicación recogido
|
|
|
|
|
-
Colaboraciones en obras colectivas
Codiseño de sistemas desde especificaciones concurrentes basadas en VHDL
Juan P. Castellano, David Sánchez Martín, Onassis Cazorla, Juan C. Bordón, Álvaro Suárez Sarmiento
VI Jornadas de Concurrencia, 1998, págs. 53-64
Una aproximación a la verificación formal de la comunicación en programas paralelos
A. Suárez, Elsa M. López, Mario M. Ruiz, Juan P. Castellano, David Sánchez Martín, Onassis Cazorla, Juan C. Bordón
VI Jornadas de Concurrencia, 1998, págs. 305-315
Un lenguaje concurrente para el codiseño de sistemas complejos
Juan P. Castellano, Álvaro Suárez Sarmiento, Juan C. Bordón, Mario Marrero Ruiz, Onassis Cazorla
V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997 / coord. por Manuel J. Fernández Iglesias, Martín Llamas Nistal, José Juan Pazos Arias, 1997, ISBN 84-8158-065-1, págs. 193-204
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
