Title | ||
---|---|---|
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing |
Abstract | ||
---|---|---|
When developing products or solutions in industry and assessing their quality, formal methods provide the most rigorous tools for checking for safety and security flaws. In this talk we share our first-hand general experience in this area, and furthermore ... |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/ISoLA.2006.13 | ISoLA |
Keywords | Field | DocType |
formal language,protocols,formal languages,complex system,conformance testing,product development | Formal language,Software engineering,UMTS frequency bands,Computer science,Telecommunications equipment,Code generation,Conformance testing,Software,Radio Resource Control,Certification | Conference |
ISBN | Citations | PageRank |
978-0-7695-3071-0 | 1 | 0.40 |
References | Authors | |
1 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
José M. Álvarez | 1 | 19 | 1.90 |
Pedro de la Cámara | 2 | 32 | 2.72 |
Jesús Martínez | 3 | 51 | 5.72 |
Pedro Merino | 4 | 201 | 25.98 |
Francisco C. Perez | 5 | 1 | 0.40 |
Victoria Morillo | 6 | 1 | 0.40 |
de la Camara, P. | 7 | 1 | 0.40 |