A parallel max ow implementation. CS411 Project Report FJ Carrasco Stanford University, March, 1988 | 10 | 1988 |
An industrial experience on development with LOTOS and SDL G León Participants' Proceedings of FORTE'93, 1993 | 7 | 1993 |
An industrial experience on LOTOS-based prototyping for switching systems design G León, JC Yelmo, C Sánchez, FJ Carrasco, JJ Gil FME'93: Industrial-Strength Formal Methods: First International Symposium of …, 1993 | 4 | 1993 |
Estudio Comparativo de algoritmos de generación de contornos de nivel FJ Carrasco | 4 | 1989 |
Applying CORBA technology for the implementation of a TINA service FJ Carrasco, J Esteve, M Felipe, JC Garcia, JC Moreno, J Ruano Proceedings of GLOBECOM'96. 1996 IEEE Global Telecommunications Conference 1 …, 1996 | 3 | 1996 |
A method for specifying and validating communication protocols in LOTOS FJ Carrasco, JJ Gil Proceedings of the IFIP TC6/WG6. 1 Fifth International Conference on Formal …, 1992 | 2 | 1992 |
Generación automática de contornos de nivel F Carrasco, P Brunet, L Pérez Centro Internacional de Métodos Numéricos en Ingeniería, 1986 | 2 | 1986 |
FDT based development of an interworking unit between LANs and X. 25 networks JC Yelmo, FJ Carrasco, C Sánchez, JJ Gilt, C Ramos, MI Felipet Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995 | 1 | 1995 |
PROCEDIMIENTO Y SISTEMA PARA TARIFICAR EN LINEA SERVICIOS DE UNA RED DE CONMUTACION DE CIRCUITOS Y PARA AUTOGESTIONAR LA CUENTA PARA SU PAGO FJ CARRASCO LOPEZ ES Patent ES2386178 B1, 2013 | | 2013 |
Method for optimizing the consumption of a telecommunications service F Díaz Barroso, FJ Carrasco López, O Briones Vilar, P Aguiló Pastrana | | 2011 |
Las Telecomunicaciones Multimedia FJ Carrasco López División de Relaciones Corporativas y Comunicación de T elefónica I+D, 2003 | | 2003 |
FDT based development of an interworking unit between LANs and JC Yelmo, FJ Carrasco, C Sánchez, JJ Gil, C Ramos, MI Felipe Formal Description Techniques VII, 135, 1995 | | 1995 |