{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:20:09Z","timestamp":1725560409302},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212195"},{"type":"electronic","value":"9783540247043"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24704-3_2","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:13:44Z","timestamp":1280276024000},"page":"17-32","source":"Crossref","is-referenced-by-count":4,"title":["A Multi-service and Multi-protocol Validation Platform \u2013 Experimentation Results"],"prefix":"10.1007","author":[{"given":"Ana","family":"Cavalli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amel","family":"Mederreg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fatiha","family":"Za\u00efdi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Combes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Monin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Castanet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcien","family":"MacKaya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrice","family":"Lauren\u00e7ot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Cavalli, A., Lee, D., Rinderknecht, C., Za\u00efdi, F.: Hit-or-Jump: An Algorithm for Embedded Testing with Applications to IN Services. In: Proceedings of FORTE\/PSTV 1999, Beijing, China (Octobre 1999)","DOI":"10.1007\/978-0-387-35578-8_3"},{"key":"2_CR2","volume-title":"ASN.1","author":"O. Dubuisson","year":"1999","unstructured":"Dubuisson, O.: ASN.1. Springer, Heidelberg (1999)"},{"key":"2_CR3","unstructured":"ITU-T, Message Sequence Chart (MSC), Recommendation Z.120 (November 1999), http:\/\/www.sdl-forum.org"},{"key":"2_CR4","unstructured":"ITU-T, Specification and Description Language, Recommandation Z.100 (November 1999), http:\/\/www.sdl-forum.org"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Mackaya, M., Castanet, R.: Modelling and Testing Location Based Application in UMTS Networks. In: IEEE Contel, Zagreb, Croatia (June 2003)","DOI":"10.1109\/CONTEL.2003.176909"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"SDL 2003: System Design","author":"W. Monin","year":"2003","unstructured":"Monin, W., Dubois, F., Vincent, D., Combes, P.: Looking for a better integration of design and performance engineering. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol.\u00a02708, Springer, Heidelberg (2003)"},{"key":"2_CR7","unstructured":"Rafiq, O., Castanet, R., Chraibi, C.: Towards an environment for testing OSI protocols. In: Proc of the International Workshop on Protocol Specification, testing and Verification, Toulouse, France (1985)"},{"key":"2_CR8","unstructured":"SES Inc. SES WorkBench Modelling Reference manual (1998)"},{"key":"2_CR9","unstructured":"The PLATONIS Consortium. The platonis project. In: First International Workshop on Services Applications in the Wireless Public Infrastructure (Mai 2001) http:\/\/www-lor.intevry.fr\/platonis"},{"key":"2_CR10","unstructured":"WAP sp\u00e9cification, http:\/\/www.wapforum.org"},{"key":"2_CR11","unstructured":"Byun, Y., Sanders, B.A., Keum, C.-S.: Design Patterns of Communicating Extended Finite State Machines. in SDL, In: PloP 2001 conference (2001)"},{"key":"2_CR12","unstructured":"http:\/\/www.kannel.org"},{"key":"2_CR13","unstructured":"http:\/\/www.wirelessdevnet.com\/channels\/lbs\/features\/mobilepositioning.html"},{"key":"2_CR14","unstructured":"http:\/\/www-lor.int-evry.fr\/platonis"},{"key":"2_CR15","unstructured":"http:\/\/www.telelogic.com"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24704-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:27:22Z","timestamp":1559330842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24704-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212195","9783540247043"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24704-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}