{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:57:03Z","timestamp":1725512223782},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540708803"},{"type":"electronic","value":"9783540708810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-70881-0_11","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T20:07:32Z","timestamp":1186171652000},"page":"98-111","source":"Crossref","is-referenced-by-count":4,"title":["TTCN-3 for Distributed Testing Embedded Software"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Blom","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Dei\u00df","sequence":"additional","affiliation":[]},{"given":"Natalia","family":"Ioustinova","sequence":"additional","affiliation":[]},{"given":"Ari","family":"Kontio","sequence":"additional","affiliation":[]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Rennoch","sequence":"additional","affiliation":[]},{"given":"Natalia","family":"Sidorova","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Java Series","volume-title":"Java(TM) Programming Language","author":"K. Arnold","year":"2005","unstructured":"Arnold, K., Gosling, J., Holmes, D.: Java(TM) Programming Language. Java Series. Addison-Wesley, Reading (2005)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Formal Approaches to Software Testing","author":"N. Sidorova","year":"2006","unstructured":"Sidorova, N., et al.: Simulated Time for Testing Railway Interlockings with TTCN-3. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol.\u00a03997, pp. 1\u201315. Springer, Heidelberg (2006)"},{"key":"11_CR3","unstructured":"Dijkstra, E.W.: Shmuel Safra\u2019s version of termination detection. EWD998-0, Univ. Texas, Austin (1987)"},{"key":"11_CR4","unstructured":"ETSI ES 201 873-1 V3.1.1 (2005-06). Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language."},{"key":"11_CR5","unstructured":"ETSI ES 201 873-4 V3.1.1 (2005-06). MTS; TTCN-3; Part 4: TTCN-3 Operational Semantics."},{"key":"11_CR6","unstructured":"ETSI ES 201 873-5 V1.1.1 (2005-06). MTS; TTCN-3; Part 5: TTCN-3 Runtime Interface (TRI)"},{"key":"11_CR7","unstructured":"ETSI ES 201 873-6 V1.1.1 (2005-06). MTS; TTCN-3; Part 6: TTCN-3 Control Interface (TCI)"},{"issue":"3","key":"11_CR8","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/S1389-1286(03)00249-4","volume":"42","author":"J. Grabowski","year":"2003","unstructured":"Grabowski, J., et al.: An Introduction into the Testing and Test Control Notation (TTCN-3). Computer Networks\u00a042(3), 375\u2013403 (2003)","journal-title":"Computer Networks"},{"key":"11_CR9","unstructured":"Hendrata, S.: Standardisiertes Testen mit TTCN-3: Erh\u00f6hung der Zuverl\u00e4ssigkeit von Software-Systemen im Fahrzeug. Hanser Automotive: Electronics+Systems\u00a0(9-10), 64\u201365 (2004)"},{"key":"11_CR10","volume-title":"WCDMA for UMTS- Radio Access for Third Generation Mobile Communications","author":"H. Holma","year":"2004","unstructured":"Holma, H., Toskala, A.: WCDMA for UMTS- Radio Access for Third Generation Mobile Communications. John Wiley and Sons, Chichester (2004)"},{"key":"11_CR11","doi-asserted-by":"crossref","DOI":"10.1002\/047001105X","volume-title":"UMTS Networks: Architecture, Mobility and Services","author":"H. Kaaranen","year":"2005","unstructured":"Kaaranen, H., et al.: UMTS Networks: Architecture, Mobility and Services. John Wiley and Sons, Chichester (2005)"},{"key":"11_CR12","unstructured":"Marscheck, U.: Elektronische Stellwerke-internationale \u00dcberblick. SIGNAL+DRAHT, 89 (1997)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/BFb0032006","volume-title":"Real-Time: Theory in Practice","author":"X. Nicollin","year":"1992","unstructured":"Nicollin, X., Sifakis, J.: An overview and synthesis on timed process algebras. In: Huizing, C., et al. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 526\u2013548. Springer, Heidelberg (1992)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/3-540-44830-6_8","volume-title":"Testing of Communicating Systems","author":"I. Schieferdecker","year":"2003","unstructured":"Schieferdecker, I., Vassiliou-Gioles, T.: Realizing Distributed TTCN-3 Test Systems with TCI. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, pp. 95\u2013109. Springer, Heidelberg (2003)"},{"key":"11_CR15","unstructured":"TTMedal. Testing and Testing Methodologies for Advanced Languages, \n                    \n                      http:\/\/www.tt-medal.org"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/3-540-49646-7_23","volume-title":"Computer Safety, Reliability and Security","author":"F.J. Dijk van","year":"1998","unstructured":"van Dijk, F.J., et al.: Euris, a specification method for distributed interlockings. In: Ehrenberger, W. (ed.) SAFECOMP 1998. LNCS, vol.\u00a01516, pp. 296\u2013305. Springer, Heidelberg (1998)"},{"key":"11_CR17","doi-asserted-by":"crossref","DOI":"10.1002\/0470017317","volume-title":"An Introduction to TTCN-3","author":"C. Willcock","year":"2005","unstructured":"Willcock, C., et al.: An Introduction to TTCN-3. Wiley, Chichester (2005)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70881-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,20]],"date-time":"2019-02-20T19:37:49Z","timestamp":1550691469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70881-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540708803","9783540708810"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70881-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}