{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:10Z","timestamp":1725488830469},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442554"},{"type":"electronic","value":"9783540458012"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45801-8_52","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T11:19:58Z","timestamp":1186831198000},"page":"539-550","source":"Crossref","is-referenced-by-count":1,"title":["A Method for Functional Testing of Media Synchronization Protocols"],"prefix":"10.1007","author":[{"given":"Makoto","family":"Yamada","sequence":"first","affiliation":[]},{"given":"Takanori","family":"Mori","sequence":"additional","affiliation":[]},{"given":"Atsushi","family":"Fukada","sequence":"additional","affiliation":[]},{"given":"Akio","family":"Nakata","sequence":"additional","affiliation":[]},{"given":"Teruo","family":"Higashino","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,13]]},"reference":[{"key":"52_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. L. Dill: \u201cA theory of timed automata\u201d, Theoretical Computer Science, Vol. 126, pp. 183\u2013235 (1994).","journal-title":"Theoretical Computer Science"},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"T. Higashino, A. Nakata, K. Taniguchi and A. R. Cavalli: \u201cGenerating test cases for a timed I\/O automaton model\u201d, Proc. of 12th IFIP Workshop on Testing of Communicating Systems (IWTCS\u201999), pp. 197\u2013214 (Sept. 1999).","DOI":"10.1007\/978-0-387-35567-2_13"},{"key":"52_CR3","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/93.735868","volume":"5","author":"C.M. Huang","year":"1998","unstructured":"C.M. Huang and C. Wang: \u201cSynchronization for Interactive Multimedia Presentations\u201d, IEEE MULTIMEDIA, Vol. 5, No. 4, pp. 44\u201362 (Oct.-Nov. 1998).","journal-title":"IEEE MULTIMEDIA"},{"key":"52_CR4","doi-asserted-by":"crossref","unstructured":"H. Katagiri, M. Kirimura, K. Yasumoto and T. Higashino and K. Taniguchi: \u201cHardware Implementation of Concurrent Periodic EFSMs\u201d, Proc. of Joint International Conference on 13th Formal Description Techniques and 20th Protocol Specification, Testing, and Verification (FORTE\/PSTV2000), pp. 285\u2013300 (Oct. 2000).","DOI":"10.1007\/978-0-387-35533-7_18"},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"D. Lee and M. Yannakakis: \u201cPrinciples and Methods of Testing Finite State Machines-A Survey\u201d, Proc. of the IEEE, Vol. 84, No. 8 (1996).","DOI":"10.1109\/5.533956"},{"issue":"3","key":"52_CR6","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1109\/49.53017","volume":"8","author":"T. D. C. Little","year":"1990","unstructured":"T. D. C. Little and A. Ghafoor: \u201cSynchronization and storage models for multimedia objects\u201d, IEEE Journal of Selected Areas in Communications, Vol. 8, No. 3, pp. 413\u2013427 (Apr. 1990).","journal-title":"IEEE Journal of Selected Areas in Communications"},{"key":"52_CR7","doi-asserted-by":"crossref","unstructured":"V Misic, S. T. Chanson and S. C. Cheung: \u201cTowards a Framework for Testing Distributed Multimedia Software Systems\u201d, Proc. International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE98) (Apr. 1998).","DOI":"10.1109\/PDSE.1998.668160"},{"issue":"9","key":"52_CR8","first-page":"2603","volume":"41","author":"K. Abe","year":"2000","unstructured":"K. Abe, T. Matsuura, K. Yasumoto and T. Higashino: \u201cA Method to Execute Existing Program Codes in Multi-theread Environments and Its Implementation\u201d Journal of Information Processing Society of Japan, Vol. 41, No. 9, pp. 2603\u20132613 (Sep. 2000) (In Japanese).","journal-title":"Journal of Information Processing Society of Japan"}],"container-title":["Lecture Notes in Computer Science","Information Networking: Wireless Communications Technologies and Network Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45801-8_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:32:47Z","timestamp":1556739167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45801-8_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442554","9783540458012"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45801-8_52","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}