Juan J. Gil

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

Juan C. Yelmo, Carlos Sánchez, F. Javier Carrasco, 1994, FORTE.

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

José Luis Pons Rovira, Juan C. Moreno, Antonio J. del Ama, 2018, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

An Industrial Experience on Development with LOTOS and SDL

Gonzalo León, Juan C. Yelmo, Carlos Sánchez, 1993, Formal Techniques for (Networked and) Distributed Systems.

An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design

Gonzalo León, Juan C. Yelmo, Carlos Sánchez, 1993, FME.

An Industrial Experience of Using an Incremental Model of Technology Transfer of Formal Development Methods

Gonzalo León, Juan C. Yelmo, Carlos Sánchez, 1993, Diffusion, Transfer and Implementation of Information Technology.