Follow
Francisco Javier Carrasco
Francisco Javier Carrasco
Independent professional
Verified email at stanfordalumni.org
Title
Cited by
Cited by
Year
A parallel max ow implementation. CS411 Project Report
FJ Carrasco
Stanford University, March, 1988
101988
An industrial experience on development with LOTOS and SDL
G León
Participants' Proceedings of FORTE'93, 1993
71993
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
41993
Estudio Comparativo de algoritmos de generación de contornos de nivel
FJ Carrasco
41989
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
31996
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
21992
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
21986
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
11995
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
The system can't perform the operation now. Try again later.
Articles 1–12