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

TitleAn SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing
Publication TypeConference Paper
Year of Publication2007
AuthorsMartínez J, Merino P, Pérez FCarlos, de la Cámara P, Álvarez JMaría
EditorMorillo MVictoria
Conference NameProceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation
Date Publishedfeb