Found 2 results
Filters: Author is José María Álvarez [Clear All Filters]
Communication software: design and testing. Encyclopedia of Software Engineering. :153–169.. 2010.
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation.. 2007.