| 1994 |
|---|
| 4 | | Juan C. Yelmo,
F. Javier Carrasco,
Carlos Sánchez,
Juan J. Gil,
C. Ramos,
M. I. Felipe:
FDT based development of an interworking unit between LANs and X.25 networks.
FORTE 1994: 135-150 |
| 1993 |
|---|
| 3 | | Gonzalo León,
J. Carracedo,
Juan C. Yelmo,
Carlos Sánchez,
J. C. Moreno,
Juan J. Gil,
J. Carrasco:
An Industrial Experience of Using an Incremental Model of Technology Transfer of Formal Development Methods.
Diffusion, Transfer and Implementation of Information Technology 1993: 289-308 |
| 2 | | Gonzalo León,
Juan C. Yelmo,
Carlos Sánchez,
F. Javier Carrasco,
Juan J. Gil:
An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design.
FME 1993: 83-92 |
| 1 | | Gonzalo León,
J. Carracedo,
J. C. Moreno,
Juan C. Yelmo,
Juan J. Gil,
Carlos Sánchez,
F. Javier Carrasco:
An Industrial Experience on Development with LOTOS and SDL.
FORTE 1993: 219-234 |
