{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T16:07:49Z","timestamp":1648656469044},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,3,16]],"date-time":"2010-03-16T00:00:00Z","timestamp":1268697600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Wireless Pers Commun"],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1007\/s11277-010-9954-2","type":"journal-article","created":{"date-parts":[[2010,3,15]],"date-time":"2010-03-15T15:39:28Z","timestamp":1268667568000},"page":"409-429","source":"Crossref","is-referenced-by-count":1,"title":["Advancing Radio Testing Methodology via Formal Notations"],"prefix":"10.1007","volume":"53","author":[{"given":"J.","family":"Poncela","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. T.","family":"Entrambasaguas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. C.","family":"Aguayo-Torres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,3,16]]},"reference":[{"key":"9954_CR1","unstructured":"3GPP, TS 34.121 (2003). 3rd Generation partnership project; Technical specification group terminals; Terminal conformance specification; Radio transmission and reception (FDD), v3.14.0."},{"key":"9954_CR2","unstructured":"Ba\u00f1os, J. (2002). Testing of bluetooth products in the industrial environment. In 28th Annual conference of the IEEE Industrial Electronics Society (IECON), Sevilla (Espa\u00f1a), 5\u20138 November."},{"key":"9954_CR3","unstructured":"Bluetooth Qualification Tester (BITE). (2003). AT4 wireless, from http:\/\/www.at4wireless.com\/web_esp\/sistemas\/soluciones_ensayo\/bite ."},{"issue":"1","key":"9954_CR4","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1002\/j.1538-7305.1990.tb00104.x","volume":"69","author":"M. Bush","year":"1990","unstructured":"Bush M., Rasmussen K., Wong F. (1990) Conformance testing methodologies for OSI protocols. AT and T Technical Journal 69(1): 84\u2013100","journal-title":"AT and T Technical Journal"},{"issue":"1","key":"9954_CR5","first-page":"23","volume":"6","author":"F. J. De Lapeyre","year":"1988","unstructured":"De Lapeyre F. J., Woolaard K. C., Yvergnaux S. (1988) The use of an ISO formal technique for conformance test specifications. BT Telecom Technology Journal 6(1): 23\u201330","journal-title":"BT Telecom Technology Journal"},{"key":"9954_CR6","unstructured":"ETSI, ES 201 873 (2003\u20132007). Methods for testing and specification (MTS); The testing and test control notation version 3, pp. v1.1.1\u2013v3.2.1."},{"key":"9954_CR7","unstructured":"ETSI, Comit\u00e9 ETSI (2004). Methods for testing and specification, from http:\/\/portal.etsi.org\/portal_common\/home.asp?tbkey1=MTS ."},{"key":"9954_CR8","unstructured":"ETSI, Test specifications, from http:\/\/portal.etsi.org\/mbs\/Testing\/conformance\/conformance.asp ."},{"key":"9954_CR9","unstructured":"G\u00f3mez, J. A., Poncela, J., Fern\u00e1ndez, U., Ruiz, F., & Entrambasaguas, J. T. (2001). Arquitectura gen\u00e9rica para pruebas de radio y pruebas de protocolo. In XVI simposium nacional de la Uni\u00f3n cient\u00edfica internacional de radio (URSI\u201901), Villaviciosa de Od\u00f3n (Madrid), 19\u201321 September."},{"key":"9954_CR10","unstructured":"IEEE, Std 488.1-1987 (1987). IEEE standard digital interface for programmable instrumentation\u2014Description."},{"key":"9954_CR11","unstructured":"ISO 7498 (1989\/97). Information technology\u2014Open systems interconnection\u2014Basic reference model."},{"key":"9954_CR12","unstructured":"ISO 9646 (1994\/98). Information technology\u2014Open systems interconnection\u2014Conformance testing methodology and framework."},{"key":"9954_CR13","unstructured":"ITU-T, Recommendation X.290 (1995). OSI conformance testing methodology and framework for protocol recommendations for ITU-T applications\u2014General concepts."},{"key":"9954_CR14","unstructured":"ITU-T, Recommendation X.292 (2002). OSI conformance testing methodology and framework for protocol recommendations for ITU-T applications\u2014The tree and tabular combined notation (TTCN)."},{"key":"9954_CR15","unstructured":"ITU-T, Recommendation X.296 (1995). OSI conformance testing methodology and framework for protocol recommendations for ITU-T applications\u2014Implementation conformance statements"},{"key":"9954_CR16","unstructured":"ITU-T, Recommendation Z.100 (1992). Specification and description language (SDL)."},{"issue":"7","key":"9954_CR17","doi-asserted-by":"crossref","first-page":"1143","DOI":"10.1109\/49.44561","volume":"7","author":"R. J. Linn","year":"1989","unstructured":"Linn R. J. (1989) Conformance evaluation methodology and protocol testing. IEEE Journal on Selected Areas in Communications 7(7): 1143\u20131158","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"9954_CR18","unstructured":"Lobato, S., Ruiz, E., Vigo, J. A., & Jim\u00e9nez, J. M. (2008). Generalised architecture for radio conformance testers using TTCN-3, The TTCN-3 user conference, Madrid."},{"key":"9954_CR19","unstructured":"MTS. (1996). Methods for testing and specification."},{"issue":"1","key":"9954_CR20","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/52.108777","volume":"9","author":"K. Naik","year":"1992","unstructured":"Naik K., Sarikaya B. (1992) Testing communication protocols. IEEE Software 9(1): 27\u201337","journal-title":"IEEE Software"},{"key":"9954_CR21","unstructured":"Poncela, J., G\u00f3mez, J., Valero, C., & Fern\u00e1ndez, U. (2007). Using TTCN for radio conformance test systems. In 13th system design language forum (SDL Forum\u201907), Par\u00eds (Francia), 18\u201321 September."},{"key":"9954_CR22","unstructured":"Poncela, J. (2009). Methods and tools for the design and verification of mobile communication systems, Ph.D., University of Malaga."},{"issue":"2","key":"9954_CR23","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0169-7552(89)90004-4","volume":"17","author":"B. Sarikaya","year":"1989","unstructured":"Sarikaya B. (1989) Conformance testing: Architectures and test sequences. Computer Networks and ISDN Systems 17(2): 111\u2013126","journal-title":"Computer Networks and ISDN Systems"},{"key":"9954_CR24","unstructured":"SCPI Consortium (1999). Standard commands for programmable instrumentation (SCPI) (Vol. 1)."},{"issue":"2","key":"9954_CR25","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0169-7552(89)90001-9","volume":"17","author":"H. Zeng","year":"1989","unstructured":"Zeng H., Chanson S. T., Smith B. R. (1989) On ferry clip approaches in protocol testing. Computer Networks and ISDN Systems 17(2): 77\u201388","journal-title":"Computer Networks and ISDN Systems"}],"container-title":["Wireless Personal Communications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11277-010-9954-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11277-010-9954-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11277-010-9954-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T13:05:27Z","timestamp":1559394327000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11277-010-9954-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,16]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["9954"],"URL":"https:\/\/doi.org\/10.1007\/s11277-010-9954-2","relation":{},"ISSN":["0929-6212","1572-834X"],"issn-type":[{"value":"0929-6212","type":"print"},{"value":"1572-834X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3,16]]}}}