{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:44:49Z","timestamp":1742985889933,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401230"},{"type":"electronic","value":"9783540448303"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44830-6_13","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:56:53Z","timestamp":1184590613000},"page":"163-179","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Conformance of Distributed Systems"],"prefix":"10.1007","author":[{"given":"Maximilian","family":"Frey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd-Holger","family":"Schlingloff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"13_CR1","unstructured":"ETSI: ETSI TS 100 522 Digital cellular telecommunications system (Phase 2+): Network architecture (GSM 03.02 version 7.1.0 Release 1998): 2000"},{"key":"13_CR2","unstructured":"ITU-T: Recommendations Q.711\u2013Q.714 Specifications of Signalling System No. 7 \u2014 Signalling connection control part: 1996"},{"key":"13_CR3","unstructured":"ETSI: ETSI TS 100 940 Digital cellular telecommunications system (Phase 2+); Mobile radio interface layer 3 specification (3GPP TS 04.08 version 7.17.0 Release 1998): 2002"},{"key":"13_CR4","unstructured":"ETSI: ETSI TS 129 002 Digital cellular telecommunications system (Phase 2+) (GSM); Universal Mobile Telecommunications System (UMTS); Mobile Application Part (MAP) specification (2GPP TS 29.002 version 4.50 Release 4): 2001"},{"key":"13_CR5","unstructured":"ITU-T: Recommendations Q.761\u2013Q.764 Signalling System No. 7 \u2014 ISDN user part signalling procedures: 1999"},{"key":"13_CR6","unstructured":"ISO. ISO\/IEC 9646-3, Tree and Tabular Combined Notation (TTCN), Second Edition (1997)"},{"key":"13_CR7","unstructured":"ETSI: ETSI ES 201 873 Methods for Testing and Specification (MTS); The Tree and Tabular Combined Notation version 3: 2001"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-0-387-35567-2_5","volume-title":"Testing of Communicating Systems","author":"T. Vassiliou-Gioles","year":"1999","unstructured":"GSBWL]_Vassiliou-Gioles, T., Schieferdecker, I., Born, M., Winkler, M., Li, M.: Configuration and Execution Support for Distributed Tests. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds): Testing of Communicating Systems. Kluwer Academic publishers. Boston, Dordrecht, London (1999) 61\u201376"},{"key":"13_CR9","unstructured":"ITU-T: Recommendation Q.931 Digital Subscriber Signalling system No. 1 (DSS 1) \u2014 ISDN User-Network Interface Layer 3 Specification For Basic Call Control: 1998"},{"key":"13_CR10","unstructured":"ITU-T: Recommendation Q.764-Annex H Specification of Signalling System No. 7 \u2014 ISDN User Part Signalling Procedures Annex H: State Transition Diagrams: 1995"},{"key":"13_CR11","unstructured":"ITU-T: Recommendation Z.100 Languages for Telecommunications Applications \u2014 Specification and Description Language, 1999"},{"key":"13_CR12","first-page":"241","volume-title":"Protocol Specification, Testing and Verification, XIII","author":"M. Yao","year":"1993","unstructured":"Yao, M., Petrenko, A., v. Bochmann, G.: Conformance Testing of Protocol Machines without Reset. In: Danthine, A., Leduc, G., Wolper, P. (eds): Protocol Specification, Testing and Verification, XIII. Elsevier Science Publishers B. V. (North-Holland) (1993) 241\u2013253"},{"key":"13_CR13","unstructured":"Anido, R., Cavalli, A.R.: Guaranteeing full fault coverage for UIO-based testing methods. In: Proceedings of the 8th Int. Workshop on Protocol Test Systems, Evry, France (1995) 221\u2013236"},{"issue":"8","key":"13_CR14","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"4","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Princliples and Methods of testing Finite State Machines \u2014 A Survey. Proceedings of the IEEE. Vol. 4(8), 1996, 1090\u20131123","journal-title":"Proceedings of the IEEE."},{"key":"13_CR15","unstructured":"Petrenko, A., Ulrich, A., Chapenko, V.:Using partial-orders for detecting faults in concurrent systems. In: Proceedings of Workshop on Testing of Communicating Systems (IWTCS\u201998), Russia, 1998"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-0-387-35567-2_7","volume-title":"Testing of Communicating Systems","author":"A. Ulrich","year":"1999","unstructured":"Ulrich, A., K\u00f6nig, H.: Architectures for Testing Distributed Systems. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds): Testing of Communicating Systems. Kluwer Academic publishers. Boston, Dordrecht, London (1999) 93\u2013108"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-0-387-35497-2_22","volume-title":"Testing of Communicating Systems XIV","author":"C. Jard","year":"2002","unstructured":"Jard, C., Principles of Distributed Test Synthesis based on True-Concurrency Models. In: Schieferdecker, I., K\u00f6nig, H., Wolisz, A.: Testing of Communicating Systems XIV. Kluwer Academic publishers. Boston, Dordrecht, London (2002) 301\u2013316"},{"key":"13_CR18","first-page":"337","volume":"19","author":"M. Kim","year":"1999","unstructured":"Kim, M., Shin, S.T., Chanson, S. T., Kang, S.: An Enhanced Model for Testing Asynchronous Communicating Systems. In: Formal Description Techniques and Protocol Specification, Testing and Verification, 19. IFIP (1999) 337\u2013355","journal-title":"Formal Description Techniques and Protocol Specification, Testing and Verification"},{"issue":"2","key":"13_CR19","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0140-3664(95)92852-N","volume":"18","author":"T. Ramalingam","year":"1995","unstructured":"Ramalingam, T., Das, A., Thulasiraman, K.: Fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model. Computer communications, vol. 18(2), 1995, 113\u2013122","journal-title":"Computer communications"},{"key":"13_CR20","unstructured":"Reisig, W.: Petri Nets. Springer 1988"},{"issue":"3","key":"13_CR21","first-page":"103","volume":"17","author":"Test Generation with Inputs, Outputs and Repetitive Quiescence","year":"1996","unstructured":"Test Generation with Inputs, Outputs and Repetitive Quiescence. Software-Concepts and Tools, 17(3):103\u2013120, 1996","journal-title":"Software-Concepts and Tools"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44830-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,23]],"date-time":"2020-01-23T16:12:02Z","timestamp":1579795922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44830-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401230","9783540448303"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-44830-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"24 June 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}