We stand with Ukraine  

Carlos Sánchez

Affiliations:
  • Technical University of Madrid, Telematic Engineering Department, Spain


According to our database1, Carlos Sánchez authored at least 4 papers between 1993 and 1994.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1994
FDT based development of an interworking unit between LANs and X.25 networks.
[BibTeX]
Juan C. Yelmo
,
F. Javier Carrasco
,
Carlos Sánchez
,
Juan J. Gil
,
C. Ramos
,
M. I. Felipe
Proceedings of the Formal Description Techniques VII, 1994

1993
An Industrial Experience of Using an Incremental Model of Technology Transfer of Formal Development Methods.
[BibTeX]
Gonzalo León
,
J. Carracedo
,
Juan C. Yelmo
,
Carlos Sánchez
,
J. C. Moreno
,
Juan J. Gil
,
J. Carrasco
Proceedings of the Diffusion, 1993

An Industrial Experience on Development with LOTOS and SDL.
[BibTeX]
Gonzalo León
,
J. Carracedo
,
J. C. Moreno
,
Juan C. Yelmo
,
Juan J. Gil
,
Carlos Sánchez
,
F. Javier Carrasco
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design.
[BibTeX]
[DOI]
Gonzalo León
,
Juan C. Yelmo
,
Carlos Sánchez
,
F. Javier Carrasco
,
Juan J. Gil
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993


  Loading...