{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T07:52:41Z","timestamp":1648540361164},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2005,6,1]],"date-time":"2005-06-01T00:00:00Z","timestamp":1117584000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2005,6,1]],"date-time":"2005-06-01T00:00:00Z","timestamp":1117584000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann. T\u00e9l\u00e9commun."],"published-print":{"date-parts":[[2005,6]]},"DOI":"10.1007\/bf03219938","type":"journal-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T06:33:22Z","timestamp":1625639602000},"page":"588-609","source":"Crossref","is-referenced-by-count":0,"title":["Une plate-forme de validation multi-protocoles et multi-services R\u00e9sultats d\u2019exp\u00e9rimentation"],"prefix":"10.1007","volume":"60","author":[{"given":"Pierre","family":"Combes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Monin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Cavalli","sequence":"additional","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":"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":"BF03219938_CR1","doi-asserted-by":"crossref","unstructured":"Cavalli (A.),Lee (D.),Rinderknecht (Ch.),Za\u00efdi (F.), \u201cHit-or-Jump: an algorithm for embedded testing with applications to in Services\u201d, In Proceedings ofForte\/pstv\u201999, Beijing, China, Octobre 1999.","DOI":"10.1007\/978-0-387-35578-8_3"},{"key":"BF03219938_CR2","unstructured":"Dubuisson (O.),Asn.1. Springer, 1999."},{"key":"BF03219938_CR3","unstructured":"Itu-t, Message Sequence Chart (Msc), Recommendation Z.120, Novembre, 1999, http:\/\/www.sdl-forum.org"},{"key":"BF03219938_CR4","unstructured":"Itu-t, Specification and Description Language, Recommendation Z.100, Nov. 1999, http:\/\/www.sdl-forum.org"},{"key":"BF03219938_CR5","doi-asserted-by":"crossref","unstructured":"Mackaya (M.),Castanet (R.), \u201cModelling and testing location based application inUmts networks\u201d,Ieee Contel, Zagreb, Croatia, June 2003.","DOI":"10.1109\/CONTEL.2003.176909"},{"key":"BF03219938_CR6","doi-asserted-by":"crossref","unstructured":"Monin (W.),Dubois (F.),Vincent (D.),Combes (P.), \u201cLooking for a better integration of design and performance engineering,sdl\nForum 2003.","DOI":"10.1007\/3-540-45075-0_1"},{"key":"BF03219938_CR7","unstructured":"Rafiq (O.),Castanet (R.),Chraibi (C). Towards an environment for testing OSI protocols,Proc of the International Workshop on Protocol Specification, testing and Verification, Toulouse, France, 1985."},{"key":"BF03219938_CR8","unstructured":"Ses Inc.Ses WorkBench Modeling Reference manual, 1998."},{"key":"BF03219938_CR9","unstructured":"ThePlatonis Consortium. The platonis project. In First International Workshop on Services Applications in the Wireless Public Infrastructure, Mai 2001. http: \/\/www-lor.int-evry.fr\/platonis."},{"key":"BF03219938_CR10","unstructured":"Wap sp\u00e9cification, http:\/\/www.wapforum.org."},{"key":"BF03219938_CR11","unstructured":"Byun (Y.),Sanders (B. A.),Keum (C), Design Patterns of Communicating Extended Finite State Machines inSdl, PloP 2001 conference"},{"key":"BF03219938_CR12","unstructured":"http:\/\/www.kannel.org."},{"key":"BF03219938_CR13","unstructured":"http:\/\/www.wirelessdevnet.com\/channels\/lbs\/features\/mobilepositioning.html."},{"key":"BF03219938_CR14","unstructured":"http:\/\/www-lor.int-evry.fr\/platonis"},{"key":"BF03219938_CR15","unstructured":"http:\/\/www.telelogic.com"}],"container-title":["Annales Des T\u00e9l\u00e9communications"],"original-title":[],"language":"fr","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03219938.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF03219938\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03219938.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T07:15:31Z","timestamp":1625642131000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF03219938"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":15,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["BF03219938"],"URL":"https:\/\/doi.org\/10.1007\/bf03219938","relation":{},"ISSN":["0003-4347","1958-9395"],"issn-type":[{"value":"0003-4347","type":"print"},{"value":"1958-9395","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6]]}}}