Juan J. Gil

According to our database, Juan J. Gil authored at least 5 papers between 1993 and 2018.

Collaborative distances:

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

2018

Design and Implementation of a Novel Semi-Active Hybrid Unilateral Stance Control Knee Ankle Foot Orthosis.

Juan J. Gil, Maria Carmen Sanchez-Villamañan, Jesús Gómez, Andrea Ortiz, José Luis Pons, Juan C. Moreno, Antonio J. del Ama

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

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 of Using an Incremental Model of Technology Transfer of Formal Development Methods.

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.

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