José M. Alvarez

According to our database, José M. Alvarez authored at least 2 papers between 2006 and 2010.

Collaborative distances:

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

2010

Communication Software: Design and Testing.

José M. Alvarez, Pedro Merino, Laura Panizo, Francisco C. Perez, Andrés Sanz

Proceedings of the Encyclopedia of Software Engineering, 2010

2006

An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing.

José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino, Francisco C. Perez, Victoria Morillo

Proceedings of the Leveraging Applications of Formal Methods, 2006