F. Javier Carrasco

According to our database, F. Javier Carrasco authored at least 3 papers between 1993 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

FDT based development of an interworking unit between LANs and X.25 networks.

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 on Development with LOTOS and SDL.

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.

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